1490 search results - page 141 / 298 » The Logic of Authentication Protocols |
143
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
154
Voted
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
Traditional security protocols are mainly concerned with key establishment and principal authentication and rely on predistributed keys and properties of cryptographic operators. I...
149
click to vote
ACNS
2004
Springer
15 years 9 months ago
2004
Springer
Distance vector routing protocols (e.g., RIP) have been widely used on the Internet, and are being adapted to emerging wireless ad hoc networks. However, it is well-known that exis...
141
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
The Unified Model (UM) key agreement protocol is an efficient Diffie-Hellman scheme that has been included in many cryptographic standards, most recently in the NIST SP 80056A sta...
144
click to vote
ISW
2010
Springer
15 years 1 months ago
2010
Springer
Recently a convex hull based human identification protocol was proposed by Sobrado and Birget, whose steps can be performed by humans without additional aid. The main part of the p...