3504 search results - page 124 / 701 » Secure protocol composition |
207
click to vote
SCN
2011
Springer
14 years 12 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
166
click to vote
TPHOL
2009
IEEE
15 years 11 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...
160
click to vote
ACNS
2004
Springer
15 years 10 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...
165
Voted
ISW
2009
Springer
15 years 11 months ago
2009
Springer
We analyze the Password Authenticated Connection Establishment (PACE) protocol for authenticated key agreement, recently proposed by the German Federal Office for Information Secur...
139
click to vote
ACISP
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. The past few years have seen the emergence of a large number of proposals for electronic payments over open networks. Among these proposals is the Secure Electronic Trans...