1490 search results - page 87 / 298 » The Logic of Authentication Protocols |
211
Voted
POPL
2002
ACM
16 years 4 months ago
2002
ACM
127
Voted
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
134
Voted
INDOCRYPT
2004
Springer
15 years 9 months ago
2004
Springer
A definition of secure multi-party key exchange in the Canetti-Krawczyk proof model is proposed, followed by a proof of the security of the Joux tripartite key agreement protocol...
115
Voted
IANDC
2008
15 years 3 months ago
2008
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
137
Voted
ASIACRYPT
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Group signature schemes are fundamental cryptographic tools that enable unlinkably anonymous authentication, in the same fashion that digital signatures provide the basis...