| Alternate document: Details Inductive Verification of Cryptographic Protocols (00) Giampaolo Bella |
Giampaolo Bella  Home/Search
Context Related
| cl.cam.ac.uk/users...smartcardsjcs.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: cl.cam.ac.uk/users/lc...protocols (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: An existing approach based on induction and theorem proving is tailored to the verification of security protocols that make use of smart cards. (Update)
Context of citations to this paper: More
.... to the Shoup Rubin protocol and verified its goals of authenticity, unicity, confidentiality, authentication and key distribution [14]. We argue that the confidentiality stated of the protocol in terms of provable security is highly theoretical. We have discovered that...
.... Protocols Our approach to analysing second level security protocols is built our existing work on analysing authentication protocols [4, 13] using inductive definitions. The machinery is mechanized in Isabelle HOL, so modelling and verifying a protocol involves interaction...
Cited by: More
Deciding knowledge properties of security protocols - Ramanujam, Suresh (Correct)
Biometrics to Enhance Smartcard Security - Simulating Moc Using (Correct)
Verifying Second-Level Security Protocols - Bella, Longo, Paulson (2003) (Correct)
Similar documents (at the sentence level):
25.4%: Inductive Verification of Cryptographic Protocols - Bella (2000) (Correct)
Active bibliography (related documents): More All
0.8: Mechanical Proofs about a Non-Repudiation Protocol - Bella, Paulson (2001) (Correct)
0.5: Integrating Smart Cards into Kerberos - Gaskell (Correct)
0.4: Modelling Security Protocols Based on Smart Cards - Bella (1999) (Correct)
Similar documents based on text: More All
0.5: Formal Analysis of the Kerberos Authentication System - Bella, Riccobene (1997) (Correct)
0.5: Verifying the SET Registration Protocols - Bella (2003) (Correct)
0.5: Soft Constraint Programming to Analysing Security Protocols - Bella (Correct)
Related documents from co-citation: More All
5: The inductive approach to verifying cryptographic protocols - Paulson - 1998
4: Breaking and fixing the Needham-Schroeder public-key protocol using FDR - Lowe - 1996
3: A fair non-repudiation protocol - Zhou, Gollmann
BibTeX entry: (Update)
G. Bella. Inductive Verification of Smart Card Protocols. Submitted to Journal of Computer Security, 2000. http://citeseer.ist.psu.edu/bella00inductive.html More
@misc{ bella00inductive,
author = "G. Bella",
title = "Inductive Verification of Smart Card Protocols",
text = "G. Bella. Inductive Verification of Smart Card Protocols. Submitted to
Journal of Computer Security, 2000.",
year = "2000",
url = "citeseer.ist.psu.edu/bella00inductive.html" }
Citations (may not include all citations):419 How to Construct Random Functions (context) - Goldreich, Goldwasser et al. - 1986
322 Breaking and Fixing the Needham-Schroeder Public-key Protoco.. - Lowe - 1996
263 The Inductive Approach to Verifying Cryptographic Protocols - Paulson - 1998
171 Prudent Engineering Practice for Cryptographic Protocols - Abadi, Needham - 1996
134 The NRL Protocol Analyzer: An Overview - Meadows - 1996
130 Provably Secure Session Key Distribution --- the Three Party.. - Bellare, Rogaway - 1995
115 Low Cost Attacks on Tamper Resistant Devices - Anderson, Kuhn - 1997
59 Design Principles for Tamper-Resistant Smartcard Processors - Kommerling, Kuhn - 1999
47 Inductive Analysis of the Internet protocol TLS - Paulson - 1999
45 Authentication and Delegation with Smart-cards - Abadi, Burrows et al. - 1994
42 Strand Spaces: Why is a Security Protocol Correct (context) - Fabrega, Herzog et al. - 1998
40 Secret-key Agreement without Public-key Cryptography (context) - Leighton, Micali - 1993
39 Kerberos Version IV: Inductive Analysis of the Secrecy Goals - Bella, Paulson - 1998
32 Open Issues in Formal Methods for Cryptographic Protocol Ana.. - Meadows - 2000
30 Session Key Distribution using Smart Cards - Shoup, Rubin - 1996
28 The Modelling and Analysis of Security Protocols: the CSP Ap.. (context) - Ryan, Schneider - 2000
12 CAPSL Interface for the NRL Protocol Analyzer - Brackin, Meadows et al. - 1999
9 Smartcard Integration with Kerberos V - Itoi, Honeyman - 1999
8 Smartcard-based Key Distribution Protocol (context) - Jerdonek, Honeyman et al. - 1998
8 Message Reception in the Inductive Approach (context) - Bella - 1999
8 Inductive Verification of Cryptographic Protocols - Bella - 2000
7 Modelling Agents' Knowledge Inductively - Bella - 1999
7 the Royal Society of London (context) - Burrows, Abadi et al. - 1989
6 Modelling Security Protocols Based on Smart Cards - Bella - 1999
5 and Hostile Reverse Engineering in Perspective (context) - Maher, Attacks et al. - 1997
2 Integrating Smart Cards Into Authentication Systems (context) - Gaskell, Looi - 1995
2 Mechanising a Protocol for Smart Cards (context) - Bella - 2001
1 Private conversations (context) - Meadows - 2001
1 Proving Protocols Correct (context) - Paulson - 1999
http://www.forrester.com
Documents on the same site (http://www.cl.cam.ac.uk/users/lcp/papers/protocols.html): More
Formal Verification of Cardholder Registration in SET - Bella, Massacci, Paulson.. (2000) (Correct)
The Inductive Approach to Verifying Cryptographic Protocols - Paulson (2000) (Correct)
Mechanical Proofs about a Non-Repudiation Protocol - Bella, Paulson (2001) (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