1059 search results - page 17 / 212 » Modeling Security Protocols as Games |
ICSE
2009
IEEE-ACM
13 years 5 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
ASM
2008
ASM
13 years 9 months ago
2008
ASM
We address the proof-based development of cryptographic protocols satisfying security properties. Communication channels are supposed to be unsafe. Analysing cryptographic protocol...
MONET
2010
13 years 6 months ago
2010
ATAL
2011
Springer
12 years 7 months ago
2011
Springer
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper studies multicast application overlay networks in a repeated-game framework. In these overlays, users have both the motivation and the means to alter their position...