196 search results - page 10 / 40 » Formally Analysing a Security Protocol for Replay Attacks |
159
click to vote
FC
2010
Springer
15 years 10 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...
156
click to vote
ESORICS
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
191
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Wireless communication enables a broad spectrum of applications, ranging from commodity to tactical systems. Neighbor discovery (ND), that is, determining which devices are within...
146
click to vote
TCC
2005
Springer
15 years 11 months ago
2005
Springer
In this work, relations between the security notions standard simulatability and universal simulatability for cryptographic protocols are investigated. A simulatability-based notio...
159
click to vote
EUROCRYPT
2010
Springer
15 years 10 months ago
2010
Springer
This paper presents a formal security analysis of SSH in counter mode in a security model that accurately captures the capabilities of real-world attackers, as well as security-rel...