Giampaolo Bella, Cristiano Longo, Lawrence C Paulson  Home/Search
Context Related
| cl.cam.ac.uk/users...ertifiedemail.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: A second-level security protocol is defined as a security protocol that relies on an underlying security protocol in order to achieve its goals. The verification of classical authentication protocols has become routine, but second-level protocols raise new challenges. These include the formalization of appeals to the underlying protocols, the modification of the threat model, and the formalization of the novel goals. These challenges have been met using Isabelle and the Inductive Approach ... (Update)
Cited by: More
Formal Specification and Verification of the.. - Layouni, Hooman, Tahar (2003) (Correct)
Similar documents (at the sentence level):
69.2%: Verifying Second-Level Security Protocols - Bella, Longo, Paulson (2003) (Correct)
11.0%: Accountability Protocols: Formalized and Verified - Bella, Paulson (2004) (Correct)
Active bibliography (related documents): More All
0.3: Verifying the SET Registration Protocols - Bella (2003) (Correct)
0.3: Verifying the SET registration protocols - Bella, Massacci, Paulson (2002) (Correct)
0.2: Computer-Assisted Verification of a Protocol for Certified Email - Abadi, Blanchet (2003) (Correct)
Similar documents based on text: More All
0.6: Mechanical Proofs about a Non-Repudiation Protocol - Bella, Paulson (2001) (Correct)
0.6: Soft Constraints for Security Protocol Analysis: Confidentiality - Bella, Bistarelli (2001) (Correct)
0.4: Soft Constraint Programming to Analysing Security Protocols - Bella, Bistarelli (2001) (Correct)
BibTeX entry: (Update)
C. Longo G. Bella and L. C. Paulson. Verifying second-level security protocols. In 16th International Conference on Theorem Proving in Higher Order Logics, volume 2758 of Lecture Notes in Computer Science, pages 352--366. Springer Verlag, 2003. http://citeseer.ist.psu.edu/article/longo03verifying.html More
@misc{ longo03verifying,
author = "C. Longo and G. Bella and L. Paulson",
title = "Verifying second-level security protocols",
text = "C. Longo G. Bella and L. C. Paulson. Verifying second-level security protocols.
In 16th International Conference on Theorem Proving in Higher Order Logics,
volume 2758 of Lecture Notes in Computer Science, pages 352--366. Springer
Verlag, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/article/longo03verifying.html" }
Citations (may not include all citations):322 Breaking and fixing the Needham-Schroeder public-key protoco.. - Lowe - 1996
302 A logic of authentication - Burrows, Abadi et al. - 1989
263 The inductive approach to verifying cryptographic protocols - Paulson - 1998
78 A fair non-repudiation protocol - Zhou, Gollmann - 1996
60 Asynchronous protocols for optimistic fair exchange - Asokan, Shoup et al. - 1998
42 Strand Spaces: Why is a Security Protocol Correct (context) - Fabrega, Herzog et al. - 1998
28 Analysis of a fair exchange protocol - Shmatikov, Mitchell - 2000
28 The Modelling and Analysis of Security Protocols: the CSP Ap.. (context) - Ryan, Schneider - 2000
17 TAPS: A first-order verifier for cryptographic protocols (context) - Cohen - 2000
14 Distributed access-rights management with delegation certifi.. - Aura - 1999
9 cient cryptographic protocol verifier based on prolog rules (context) - Blanchet - 1998
7 Verifying the SET registration protocols - Bella, Massacci et al. - 2003
6 Certified email with a light on-line trusted third party: De.. - Abadi, Glew et al. - 2002
5 Inductive verification of smart card protocols - Bella - 2003
5 Mechanical proofs about a non-repudiation protocol - Bella, Paulson - 2001
4 Available on the web at http://www-users (context) - Clark, Jacob et al. - 1997
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