860 search results - page 11 / 172 » Uncovering Attacks on Security Protocols |
AMAST
2008
Springer
13 years 8 months ago
2008
Springer
A simple type confusion attack occurs in a security protocol, when a principal interprets data of one type as data of another. These attacks can be successfully prevented by \taggi...
COMCOM
2000
13 years 6 months ago
2000
We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how security properties can be modelled as safety prop...
EUROCRYPT
2001
Springer
13 years 11 months ago
2001
Springer
Abstract. We provide identi£cation protocols that are secure even when the adversary can reset the internal state and/or randomization source of the user identifying itself, and w...
CCS
2005
ACM
14 years 7 days ago
2005
ACM
Protocols for authenticated key exchange (AKE) allow parties within an insecure network to establish a common session key which can then be used to secure their future communicati...
CSFW
2005
IEEE
14 years 10 days 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 ...