378 search results - page 20 / 76 » Security Protocol Design via Authentication Tests |
SIGSOFT
2004
ACM
14 years 9 months ago
2004
ACM
This paper introduces declarative event patterns (DEPs) as a means to implement protocols while improving their traceability, comprehensibility, and maintainability. DEPs are desc...
IWSEC
2009
Springer
14 years 3 months ago
2009
Springer
Abstract—Password-authenticated key exchange (PAKE) protocols are designed to be secure even when the secret key used for authentication is a human-memorable password. In this pa...
CSFW
2002
IEEE
14 years 1 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
ICCSA
2007
Springer
14 years 2 months ago
2007
Springer
A tripartite authenticated key agreement protocol is generally designed to accommodate the need of three specific entities in communicating over an open network with a shared secre...
WPES
2005
ACM
14 years 2 months ago
2005
ACM
At the 2004 Workshop on Privacy in the Electronic Society (WPES), Borisov, Goldberg and Brewer, presented “Off the Record Messaging” (OTR), a protocol designed to add endto-e...