1490 search results - page 25 / 298 » The Logic of Authentication Protocols |
CADE
1997
Springer
14 years 27 days ago
1997
Springer
CCS
2007
ACM
14 years 2 months ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
IACR
2011
12 years 8 months ago
2011
Abstract—In this work we consider two protocols for performing cryptanalysis and security enhancement. The first one by Song, is a password authentication scheme based on smart ...
CANS
2009
Springer
14 years 3 months ago
2009
Springer
In this paper, we study the broadcast authentication problem for both erasure and adversarial networks. Two important concerns for authentication protocols are the authentication ...
ESORICS
2007
Springer
14 years 2 months ago
2007
Springer
Protocol participants manipulate values, transforming the cryptographic contexts in which they occur. The rules of the protocol determine which transformations are permitted. We fo...