5488 search results - page 91 / 1098 » On the Secure Implementation of Security Protocols |
CCS
2008
ACM
15 years 1 months ago
2008
ACM
We present a new verification algorithm for security protocols that allows for unbounded verification, falsification, and complete characterization. The algorithm provides a numbe...
105
click to vote
GCC
2003
Springer
15 years 5 months ago
2003
Springer
The paper discusses XML security key technologies related with security of Web service. Based on these discussions, Web service is integrated with some mature security architecture...
PROVSEC
2007
Springer
15 years 6 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...
ACISP
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. A security proof in the Bellare
SP
2006
IEEE
15 years 5 months ago
2006
IEEE
Simulatable security is a security notion for multi-party protocols that implies strong composability features. The main definitional flavours of simulatable security are standa...