Olivier Michel, Florent Jacquemard, Jean-Louis Giavitto  Home/Search
Context
Related
| mgs.lami.univevry...tlami98nspk.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: mgs.lami.univevry.fr (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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