1059 search results - page 42 / 212 » Modeling Security Protocols as Games |
111
Voted
AAAI
2010
15 years 2 months ago
2010
Recently, algorithms for computing game-theoretic solutions have been deployed in real-world security applications, such as the placement of checkpoints and canine units at Los An...
137
Voted
CSFW
1995
IEEE
15 years 4 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...
90
Voted
PERCOM
2008
ACM
16 years 5 days ago
2008
ACM
Research on security in Peer-to-Peer (P2P) systems is dominated by reputation-based solutions. These solutions propagate opinions about other peers in order to help identify the b...
105
Voted
ICDCS
2007
IEEE
15 years 7 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
115
click to vote
ASIACRYPT
2008
Springer
15 years 2 months ago
2008
Springer
We study the security of the widely deployed Secure Session Layer/Transport Layer Security (TLS) key agreement protocol. Our analysis identifies, justifies, and exploits the modul...