1612 search results - page 85 / 323 » About models of security protocols |
151
Voted
IJNSEC
2007
15 years 3 months ago
2007
The Wired Equivalent Privacy (WEP) uses the 64 bit RC4 secret key stream cipher as its layer 2 security protocol. Although the underlying RC4 cipher is secure, the potential reuse...
149
Voted
STOC
1996
ACM
15 years 8 months ago
1996
ACM
A fundamental problem in designing secure multi-party protocols is how to deal with adaptive adversaries i.e., adversaries that may choose the corrupted parties during the course ...
118
click to vote
CCR
2004
15 years 3 months ago
2004
Wireless links have intrinsic characteristics that affect the performance of transport protocols; these include variable bandwidth, corruption, channel allocation delays, and asym...
101
click to vote
INDOCRYPT
2009
Springer
15 years 10 months ago
2009
Springer
This paper investigates a new family of RFID protocols called Ff that grew out of a proposal made at ESORICS 2007. This family has the property of having highly efficient implement...
141
Voted
NDSS
2000
IEEE
15 years 8 months ago
2000
IEEE
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...