1690 search results - page 214 / 338 » A Security Framework for JXTA-Overlay |
142
click to vote
ICALP
2005
Springer
16 years 1 days ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
176
click to vote
UIALL
2004
Springer
15 years 12 months ago
2004
Springer
At present, various types of car navigation systems are progressively entering the market. Simultaneously, mobile outdoor navigation systems for pedestrians and electronic tourist ...
137
click to vote
ACISP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this paper we present a non-transferable anonymous credential system that is based on the concept of a chameleon certificate. A chameleon certificate is a special ce...
144
click to vote
CSFW
2000
IEEE
15 years 11 months 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...
213
click to vote
CSFW
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper applies the theory of Communicating Sequential Processes (CSP) to the modelling and analysis of a non-repudiation protocol. Non-repudiation protocols di er from authent...