752 search results - page 36 / 151 » Abstract models for dialogue protocols |
141
click to vote
CADE
2004
Springer
16 years 4 months ago
2004
Springer
Abstract. Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party pr...
153
click to vote
EUROCRYPT
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. When designing password-authenticated key exchange protocols (as opposed to key exchange protocols authenticated using cryptographically secure keys), one must not allow ...
122
click to vote
FMICS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper reports the analysis of an industrial implementation of the session-layer of a load-balancing software system. This software comprises 7.5 thousand lines of C ...
129
click to vote
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
118
click to vote
ASIAN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a reduction semantics for the LYSA calculus extended with session information, for modelling cryptographic protocols, and a static analysis for it. If a protoc...