719 search results - page 30 / 144 » Proving Security Protocols Correct |
EUROCRYPT
2006
Springer
15 years 1 months ago
2006
Springer
We propose simple, realistic protocols for polling that allow the responder to plausibly repudiate his response, while at the same time allow accurate statistical analysis of poll ...
ESORICS
2009
Springer
15 years 10 months ago
2009
Springer
Security APIs are used to define the boundary between trusted and untrusted code. The security properties of existing APIs are not always clear. In this paper, we give a new generi...
PROVSEC
2007
Springer
15 years 3 months ago
2007
Springer
In this paper we study security definitions for authenticated key exchange (AKE) protocols. We observe that there are several families of attacks on AKE protocols that lie outsid...
JLP
2008
14 years 9 months ago
2008
In the analysis of security protocols, methods and tools for reasoning about protocol behaviors have been quite effective. We aim to expand the scope of those methods and tools. W...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
In this paper, we prove that type-tagging prevents type-flaw attacks on security protocols that use the Exclusive-OR operator as our main contribution. Our proof method is general ...