860 search results - page 4 / 172 » Uncovering Attacks on Security Protocols |
ICUMT
2009
13 years 4 months ago
2009
In the context of multiple security protocols running in the same environment, we propose a syntactical approach for identifying multi-protocol attacks. The proposed approach uses ...
IEEEARES
2007
IEEE
14 years 22 days ago
2007
IEEE
A tool for automated validation of attacks on authentication protocols has been used to find several flaws and ambiguities in the list of attacks described in the well known rep...
IEEEARES
2007
IEEE
14 years 22 days ago
2007
IEEE
In this paper we show how to simulate attacks on authentication protocols in a realistic environment. The attack on the Needham-Schroeder public key protocol found by Gavin Lowe i...
CSFW
2000
IEEE
13 years 11 months ago
2000
IEEE
A type flaw attack on a security protocol is an attack where a field that was originally intended to have one type is subsequently interpreted as having another type. A number o...
ASM
2008
ASM
13 years 8 months ago
2008
ASM
We address the proof-based development of cryptographic protocols satisfying security properties. Communication channels are supposed to be unsafe. Analysing cryptographic protocol...