C.J.F. Cremers, S. Mauw, E.P. de Vink  Home/Search
Context Related
| win.tue.nl/~ecss/d...authentication.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: In this paper we define a general trace model for security protocols which allows to reason about various formal definitions of authentication. (Update)
Cited by: More
Feasibility of Multi-Protocol Attacks - Cremers (Correct)
A Syntactic Criterion for Injectivity of Authentication.. - Cremers, Mauw, de Vink (2005) (Correct)
A Formalization of - Anonymity And Onion (Correct)
Active bibliography (related documents): More All
0.4: Defining Authentication in a Trace Model - Cremers, Mauw, de Vink (2003) (Correct)
0.1: Data Independence in the Model Checking of Security Protocols - Broadfoot (2001) (Correct)
0.1: Tripartite Authenticated Key Agreement Protocols from Pairings - Al-Riyami, Paterson (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.2: Comments on a Proposed Semantics for Basic Message Sequence.. - Ladkin, Leue (Correct)
0.2: Formal Methods for Security Protocols: Three Examples of.. - Cremers, Mauw, de Vink (2003) (Correct)
0.2: Reply to comments on a proposed semantics for BMSCs - Mauw, Reniers (2000) (Correct)
Related documents from co-citation: More All
3: ACM Transactions on Computer Systems (context) - Burrows, Abadi et al. - 1990
3: Breaking and fixing the Needham-Schroeder public-key protocol using FDR - Lowe - 1996
3: Casper: A compiler for the analysis of security protocols - Lowe - 1997
BibTeX entry: (Update)
C. Cremers, S. Mauw, E. de Vink, Defining authentication in a trace model, in: T. Dimitrakos, F. Martinelli (Eds.), FAST 2003. http://citeseer.ist.psu.edu/cremers03defining.html More
@misc{ cremers03defining,
author = "C. Cremers and S. Mauw and E. de Vink",
title = "Defining authentication in a trace model",
text = "C. Cremers, S. Mauw, E. de Vink, Defining authentication in a trace model,
in: T. Dimitrakos, F. Martinelli (Eds.), FAST 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/cremers03defining.html" }
Citations (may not include all citations):450 Using encryption for authentication in large networks of com.. (context) - Needham, Schroeder - 1978
322 Breaking and fixing the Needham-Schroeder public-key protoco.. - Lowe - 1996
67 A hierarchy of authentication specifications - Lowe - 1997
46 Some new attacks upon security protocols - Lowe - 1996
38 What do we mean by entity authentication (context) - Gollmann - 1996
27 Modelling and Analysis of Security Protocols - Ryan, Schneider et al. - 2000
25 Intensional Specifications of Security Protocols - Roscoe - 1996
24 Message Sequence Chart (context) - Recommendation - 1999
16 A uniform approach for the definition of security properties - Focardi, Martinelli - 1999
13 A hierarchy of communication models for Message Sequence Cha.. - Engels, Mauw et al. - 2002
13 Codes and Cryptography (context) - Di and, van Oorschot et al. - 1992
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