C.J.F. Cremers  Home/Search
Context
Related
| win.tue.nl/~ecss/d...mpatechreport.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... (Update)
Active bibliography (related documents): More All
2.3: Feasibility of Multi-Protocol Attacks - Cremers (Correct)
0.4: On Preventing Replay Attacks on Security Protocols - Malladi, Alves-Foss, Heckendorn (2002) (Correct)
0.3: Formal Methods for Cryptographic Protocol Analysis: Emerging.. - Meadows (2003) (Correct)
Similar documents based on text: More All
0.1: Network Working Group B. Leiner Request for Comments: 1560.. - Status Of This (Correct)
0.1: Protocol Discovery in Multiprotocol Networks - Clark, Ammar, Calvert (1994) (Correct)
0.1: Multiprotocol Interoperability in IPng - Clark, Ammar, Calvert (1994) (Correct)
BibTeX entry: (Update)
@misc{ cremers-verification,
author = "C.J.F. Cremers",
title = "Verification of Multi-Protocol Attacks",
url = "citeseer.ist.psu.edu/723287.html" }
Citations (may not include all citations):189 Universally composable security: A new paradigm for cryptogr.. - Canetti - 2000
176 Timestamps in key distribution protocols (context) - Denning, Sacco - 1981
164 ACM Transactions on Computer Systems (context) - Burrows, Abadi et al. - 1990
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 - 1997
35 Analysis of the Internet Key Exchange protocol using the NRL.. - Meadows
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
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
5 cient automatic checker for security protocol analysis (context) - Song, new - 1999
2 Operational semantics of security protocols - Cremers, Mauw - 2005
2 Environmental requirements for authentication protocols (context) - Canetti, Meadows et al. - 2002
2 Information Security and Cryptography (context) - Boyd, Mathuria et al. - 2003
1 Tags for multi-protocol authentication (context) - Ma - 2004
www.lsv.ens-cachan.fr/spore
www.win.tue.nl/
Documents on the same site (http://www.win.tue.nl/~ecss/publications/index.html): More
Operational Semantics of Security Protocols - Cremers, Mauw (2005) (Correct)
Checking Secrecy by Means of Partial Order Reduction - Cremers, Mauw (2004) (Correct)
Virtual Analysis and Reduction of Side-Channel.. - den Harog, de Vink (2005) (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