1653 search results - page 50 / 331 » Timed analysis of security protocols |
NDSS
1997
IEEE
13 years 12 months ago
1997
IEEE
The Internet Engineering Task Force (IETF) is in the process of adopting standards for IP-layer encryption and authentication (IPSEC). We describe how “probable plaintext” can...
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—This paper presents a protocol-independent approach to reveal a new insight into the performance of carrier sense multiple access with collision avoidance (CSMA/CA) prot...
CSFW
2000
IEEE
14 years 1 days ago
2000
IEEE
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...
TII
2008
13 years 7 months ago
2008
In wireless sensor networks each sensor node has very limited resources, and it is very difficult to find and collect them. For this reason, updating or adding programs in sensor n...
IJACT
2008
13 years 7 months ago
2008
: Fair exchange protocols allow both or neither of two parties to obtain the other's items, and this property is essential in e-commerce. In this paper, we construct an optimi...