68 search results - page 1 / 14 » Reconstruction of Attacks against Cryptographic Protocols |
CSFW
2005
IEEE
13 years 10 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 ...
ICMCS
2005
IEEE
13 years 10 months ago
2005
IEEE
A common way of resisting protocol attacks is to employ cryptographic techniques so that provable security can be retained. However, some desired requirements of watermarking such...
ENTCS
2006
13 years 4 months ago
2006
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
WIMOB
2007
IEEE
13 years 10 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...
FC
2010
Springer
13 years 8 months ago
2010
Springer
Since 2004, many nations have started issuing “e-passports” containing an RFID tag that, when powered, broadcasts information. It is claimed that these passports are more secur...