398 search results - page 24 / 80 » Errors in Attacks on Authentication Protocols |
IEEEARES
2008
IEEE
14 years 2 months ago
2008
IEEE
Existing undecidability proofs of checking secrecy of cryptographic protocols have the limitations of not considering protocols common in literature, which are in the form of comm...
FSEN
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
ADHOC
2006
13 years 8 months ago
2006
Most ad hoc networks do not implement any network access control, leaving these networks vulnerable to resource consumption attacks where a malicious node injects packets into the ...
AINA
2004
IEEE
14 years 6 days 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...
EUC
2007
Springer
14 years 2 months ago
2007
Springer
This paper presents a low-cost and secure authentication protocol to reduce the computational load on both the back-end database and the tags in a distributed RFID system. The prop...