1059 search results - page 17 / 212 » Modeling Security Protocols as Games |
111
click to vote
ICSE
2009
IEEE-ACM
14 years 9 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
15 years 1 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
14 years 10 months ago
2010
ATAL
2011
Springer
13 years 11 months ago
2011
Springer
INFOCOM
2006
IEEE
15 years 5 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...