659 search results - page 79 / 132 » Compiling and securing cryptographic protocols |
111
Voted
JCSS
2006
15 years 15 days ago
2006
In an open networking environment, a workstation usually needs to identify its legal users for providing its services. Kerberos provides an efficient approach whereby a trusted th...
CCS
2009
ACM
16 years 1 months ago
2009
ACM
There is a natural intuitive match between anonymity and information theory. In particular, the maximal anonymity loss in anonymity protocols can be matched to the information the...
105
Voted
CSFW
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
ESORICS
2007
Springer
15 years 6 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...
117
click to vote
ASIACRYPT
2001
Springer
15 years 4 months ago
2001
Springer
Dynamic group Diffie-Hellman protocols for Authenticated Key Exchange (AKE) are designed to work in a scenario in which the group membership is not known in advance but where parti...