1059 search results - page 5 / 212 » Modeling Security Protocols as Games |
IJACT
2008
13 years 6 months ago
2008
CCS
2009
ACM
14 years 2 months ago
2009
ACM
In mobile networks, authentication is a required primitive of the majority of security protocols. However, an adversary can track the location of mobile nodes by monitoring pseudo...
TPHOL
2003
IEEE
14 years 23 days ago
2003
IEEE
Abstract. A second-level security protocol is defined as a security protocol that relies on an underlying security protocol in order to achieve its goals. The verification of cla...
CSFW
2007
IEEE
14 years 1 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
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...