3115 search results - page 177 / 623 » Synthesizing Secure Protocols |
266
click to vote
Lecture Notes
A comprehensive treatment of network security. Topics include remote access security, DMZ, firewalls, VPNs, PKI architecture, X.509 Public key infrastructure, web security, S-HTTP,...
132
click to vote
FOSAD
2000
Springer
15 years 7 months ago
2000
Springer
This material was presented in a series of lectures at fosad, a summer school on Foundations of Security Analysis and Design, at the University of Bologna Center at Bertinoro in Se...
136
click to vote
IJNSEC
2007
15 years 3 months ago
2007
Recently, Aydos et al. proposed an ECC-based wireless authentication protocol. Because their protocol is based on ECC, the protocol has significant advantage including lower comp...
134
click to vote
ESORICS
2002
Springer
16 years 3 months ago
2002
Springer
Abstract. In this paper, we consider how one can analyse a stream authentication protocol using model checking techniques. In particular, we will be focusing on the Timed Efficient...
145
Voted
INDOCRYPT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Contrary to conventional cryptographic wisdom, the NIST SP 800-56A standard explicitly allows the use of a static key pair in more than one of the key establishment proto...