319 search results - page 3 / 64 » Identification Protocols Secure against Reset Attacks |
175
Voted
CORR
2010
Springer
15 years 7 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...
213
Voted
CCS
2005
ACM
16 years 29 days 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...
256
Voted
WIMOB
2007
IEEE
16 years 1 months 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...
189
Voted
CSFW
2005
IEEE
16 years 1 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 ...