1679 search results - page 1 / 336 » Security Properties and CSP |
ESORICS
2000
Springer
13 years 11 months ago
2000
Springer
SP
1996
IEEE
13 years 11 months ago
1996
IEEE
Security properties such as con dentiality and authenticity may be considered in terms of the ow of messages within a network. To the extent that this characterisation is justi ed...
ESORICS
2010
Springer
13 years 8 months ago
2010
Springer
Due to their nature, Peer-to-Peer (P2P) systems are subject to a wide range of security issues. In this paper, we focus on a specific security property, called the root authenticit...
CSFW
1997
IEEE
13 years 12 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
AINA
2004
IEEE
13 years 11 months ago
2004
IEEE
IEEE 802.1x and authentication server based security protocols are mainly used for enhancing security of wireless networks. In this paper, we specify PAP and EAP-MD5 based securit...