3504 search results - page 129 / 701 » Secure protocol composition |
137
click to vote
FAC
2008
15 years 5 months ago
2008
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...
170
click to vote
GLOBECOM
2008
IEEE
15 years 11 months ago
2008
IEEE
— Vehicular ad hoc networking is an important component of Intelligent Transportation Systems. The main benefit of vehicular ad hoc network (VANET) communication is seen in activ...
145
click to vote
ACSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
Tapping into the communication between two hosts on a LAN has become quite simple thanks to tools that can be downloaded from the Internet. Such tools use the Address Resolution P...
127
Voted
COLCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
Distributed systems are typically designed for scale and performance first, which makes it difficult to add security later without affecting the original properties. This paper ...
139
Voted
NDSS
1999
IEEE
15 years 9 months ago
1999
IEEE
We present protocols that allow a user Alice, knowing only her name and password, and not carrying a smart card, to "log in to the network" from a "generic" wo...