319 search results - page 3 / 64 » Identification Protocols Secure against Reset Attacks |
CORR
2010
Springer
13 years 6 months ago
2010
Springer
As a variant of the HB authentication protocol for RFID systems, which relies on the complexity of decoding linear codes against passive attacks, Madhavan et al. presented Non-Line...
CCS
2005
ACM
13 years 11 months ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
WIMOB
2007
IEEE
14 years 16 days ago
2007
IEEE
—The low-cost, unattended nature and the capability of self-organizing of sensors, yield the use of Wireless Sensor Networks (WSN) very popular to day. Unfortunately, the unshiel...
CSFW
2005
IEEE
13 years 12 months ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...
ISCC
2002
IEEE
13 years 11 months ago
2002
IEEE