Cas Cremers  Home/Search
Context
Related
| win.tue.nl/~ecss/downloa...mpaares.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: win.tue.nl/~ecss/publicat...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Formal modeling and verification of security protocols typically assumes that a protocol is executed in isolation, without other protocols sharing the network. We investigate the existence of multi-protocol attacks on protocols described in literature. Given two or more protocols, that share key structures and are executed in the same environment, are new attacks possible? Out of 30 protocols from literature, we find that 23 are vulnerable to multi-protocol attacks. We identify two likely... (Update)
Active bibliography (related documents): More All
2.3: Verification of Multi-Protocol Attacks - Cremers (Correct)
0.6: The Application of Software and Safety Engineering Techniques to.. - Foster (2003) (Correct)
0.4: Formal Methods for Cryptographic Protocol Analysis: Emerging.. - Meadows (2003) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ cremers-feasibility,
author = "Cas Cremers",
title = "Feasibility of Multi-Protocol Attacks",
url = "citeseer.ist.psu.edu/737710.html" }
Citations (may not include all citations):322 Breaking and fixing the Needham-Schroeder public-key protoco.. - Lowe - 1996
189 Universally composable security: A new paradigm for cryptogr.. - Canetti - 2000
110 Casper: A compiler for the analysis of security protocols - Lowe - 1997
75 Towards a completeness result for model checking of security.. - Lowe - 1998
47 Fail-stop protocols: An approach to designing secure protoco.. - Gong, Syverson - 1995
44 A survey of authentication protocol literature (context) - Clark, Jacob
27 How to prevent type flaw attacks on security protocols - Heather, Lowe et al. - 2003
25 Mixed strand spaces (context) - Thayer, Herzog et al. - 1999
22 Protocol interactions and the chosen protocol attack - Kelsey, Schneier et al. - 1997
18 A lesson on authentication protocol design - Woo, Lam - 1994
13 Protocol independence through disjoint encryption - Guttman, Thayer - 2000
12 An Efficient Cryptographic Protocol Verifier Based on Prolog.. - Blanchet - 2001
7 Athena: A novel approach to efficient automatic security pro.. - Song, Berezin et al. - 2001
7 Secure protocol composition (context) - Datta, Derek et al. - 2003
6 Multiprotocol attacks and the public key infrastructure (context) - Alves-Foss - 1998
5 Defining authentication in a trace model - Cremers, Mauw et al. - 2003
2 Environmental requirements for authentication protocols (context) - Canetti, Meadows et al. - 2002
2 Information Security and Cryptography (context) - Boyd, Mathuria et al. - 2003
2 Inter-protocol interleaving attacks on some authentication a.. (context) - Tzeng, Hu - 1999
2 Operational semantics of security protocols - Cremers, Mauw - 2003
1 Security protocols open repository (context) - open, SPORE
1 Systematic analysis of attacks on security protocols (context) - Hollestelle - 2005
1 Compositionality of security protocols: A research agenda (context) - Cremers - 2004
1 The AVISPA tool (context) - Armando, Basin et al. - 2005
1 A compiler for security protocols (context) - Didelot - 2003
1 On preventing type flaw attacks on security protocols with a.. (context) - Li, Yang et al. - 2005
1 Scyther documentation (context) - Cremers
1 Tags for multi-protocol authentication (context) - Maffei - 2004
Documents on the same site (http://www.win.tue.nl/~ecss/publications/index.html): More
Verification of Multi-Protocol Attacks - Cremers (Correct)
Operational Semantics of Security Protocols - Cremers, Mauw (2005) (Correct)
Checking Secrecy by Means of Partial Order Reduction - Cremers, Mauw (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC