4340 search results - page 12 / 868 » Formal Methods and Cryptography |
TYPES
1995
Springer
15 years 7 months ago
1995
Springer
135
Voted
FMICS
2010
Springer
15 years 4 months ago
2010
Springer
204
click to vote
NDSS
1997
IEEE
15 years 7 months ago
1997
IEEE
In this work we describe a method for fully distributed authentication using public key cryptography within the Kerberos ticket framework. By distributing most of the authenticati...
99
Voted
SAS
2009
Springer
16 years 4 months ago
2009
Springer