5488 search results - page 351 / 1098 » On the Secure Implementation of Security Protocols |
182
click to vote
FOCS
2006
IEEE
16 years 25 days ago
2006
IEEE
We consider the problems of Byzantine Agreement and Leader Election, where a constant fraction b < 1/3 of processors are controlled by a malicious adversary. The first problem...
156
click to vote
IPOM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The IPv4 addressing scheme has been the standard for Internet communication since it was established in the 1960s. However, the enormous increase in Internet traffic usag...
185
click to vote
ESORICS
2002
Springer
16 years 6 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...
191
click to vote
INDOCRYPT
2009
Springer
16 years 1 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...
166
click to vote
CANS
2008
Springer
15 years 8 months ago
2008
Springer
We propose a message recognition protocol which is suitable for ad hoc pervasive networks without the use of hash chains. Hence, we no longer require the devices to save values of ...