1771 search results - page 231 / 355 » An Aspect-Oriented Security Framework |
188
click to vote
ESORICS
2005
Springer
16 years 2 days ago
2005
Springer
Access control is concerned with granting access to sensitive data based on conditions that relate to the past or present, so-called provisions. Expressing requirements from the do...
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...