See this document in CiteSeerX!

Three variations on the analysis of the Needham-Schroeder Public-Key Protocol with MGS (2004)  (Make Corrections)  
Olivier Michel, Florent Jacquemard, Jean-Louis Giavitto



  Home/Search   Context   Related

 
View or download:
mgs.lami.univevry...tlami98nspk.pdf
Cached:  PDF   PS.gz  PS  Image  Update  Help

From:  mgs.lami.univevry.fr (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: In this paper, we develop an analysis of the Needham-Schroeder Public-Key Protocol (NSPK) using a P system approach. This analysis is used to validate the protocol and exhibits, as expected, a well known logical attack. The novelty of our approach is to use MGS, a P system like formalism, to find the attack by a systematic state exploration. (Update)

Active bibliography (related documents):   More   All
0.4:   Computation in Space and Space in Computation - Giavitto, Michel, Cohen, Spicher (2004)   (Correct)
0.3:   An Improved Constraint-Based System for the Verification of.. - Corin, Etalle (2002)   (Correct)
0.3:   Proof Theory, Transformations, and Logic Programming for.. - Delzanno, Etalle   (Correct)

Similar documents based on text:   More   All
0.7:   Accretive Rules in Cayley P Systems - Giavitto, Michel, Cohen (2003)   (Correct)
0.5:   Data Structure as Topological Spaces - Giavitto, Michel (2002)   (Correct)
0.5:   Pattern-matching and Rewriting Rules for Group Indexed.. - Giavitto, Michel, Cohen (2002)   (Correct)

BibTeX entry:   (Update)

@misc{ michel-three,
  author = "Olivier Michel and Florent Jacquemard and Jean-Louis Giavitto",
  title = "Three variations on the analysis of the Needham-Schroeder Public-Key Protocol
    with MGS",
  url = "citeseer.ist.psu.edu/michel04three.html" }
Citations (may not include all citations):
322   Breaking and fixing the Needham-Schroeder public-key protoco.. - Lowe - 1996
317   IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
184   Automated analysis of cryptographic protocols using murphi - Mitchell, Mitchell et al. - 1997
173   Protocol verification as a hardware design aid - Dill, Drexler et al. - 1992
146   The Glasgow Haskell Compiler: A Technical Overview - Jones, Hall et al. - 1993
134   The NRL protocol analyzer: An overview - Meadows - 1995
104   A MetaNotation for Protocol Analysis - Cervesato, Durgin et al. - 1999
93   An attack on the needham-schroeder public key authentication.. - Lowe - 1995
89   The interrogator: Protocol security analysis (context) - Millen, Clark et al. - 1987
81   Using encryption for authentication in large networks of com.. (context) - Needham, Schroeder - 1978
56   documentation and user's manual (context) - Leroy, caml et al. - 2004
35   Protocol insecurity with finite number of sessions is NP-com.. - Rusinowitch, Turuani - 2001
32   Protocol specification and analysis in Maude - Denker, Meseguer et al. - 1998
24   ELAN: A logical framework based on computational systems - Borovansky, Kirchner et al. - 1996
15   Compiling and verifying security protocols - Jacquemard, Rusinowitch et al. - 2000
15   Gamma and the chemical reaction model: Fifteen years after (context) - Banatre, Fradet et al. - 2001
7   Towards an automatic analysis of security protocols in first.. - Weidenbach - 1999
6   The topological structures of membrane computing - Giavitto, Michel - 2002
5   cient infinite-state analysis of security protocols (context) - Huima - 1999
4   Specifying authentication protocols using elan - Cirstea - 1999
4   Data structure as topological spaces - Giavitto, Michel - 2002
1   Lecture Notes in Computer Science (context) - Clavel, Duran et al. - 1999
1   Membrane computing and one-way functions (context) - Obtulowicz - 2001
1   Breaking des using p systems (context) - Krishna, Rama - 2003
1   Authentication of messages using P systems (context) - Atanasiu - 2003

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