718 search results - page 6 / 144 » Security protocols, properties, and their monitoring |
87
Voted
CCS
1993
ACM
15 years 1 months ago
1993
ACM
Many recent research e orts in computer security focus on constructing provably secure authentication protocols. Although many of the resulting protocols rely on the a priori secu...
AINA
2004
IEEE
15 years 1 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...
72
Voted
ESOP
2003
Springer
15 years 2 months ago
2003
Springer
We consider the problem of implementing a security protocol in such a manner that secrecy of sensitive data is not jeopardized. Implementation is assumed to take place in the cont...
70
Voted
SP
2006
IEEE
15 years 3 months ago
2006
IEEE
We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties. Furthermore, we...
CCS
2010
ACM
14 years 7 months ago
2010
ACM
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...