1342 search results - page 129 / 269 » Attacks are Protocols Too |
175
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
177
click to vote
ESORICS
2004
Springer
15 years 12 months ago
2004
Springer
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...
175
click to vote
FSTTCS
2003
Springer
15 years 11 months ago
2003
Springer
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...
186
click to vote
CSFW
1999
IEEE
15 years 10 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
161
click to vote
EUC
2006
Springer
15 years 10 months ago
2006
Springer
RFID(Radio Frequency Identification) is recently becoming popular, promising and widespread. In contrast, RFID tags can bring about traceability that causes user privacy and reduce...