Inductive Analysis of the Internet Protocol TLS (1997)

Cached

Download Links

by Lawrence C. Paulson
Venue:ACM Transactions on Information and System Security
Citations:100 - 16 self

Active Bibliography

28 Proving security protocols correct – Lawrence C. Paulson - 1999
4 Planning attacks to security protocols: Case studies in logic programming – Luigia Carlucci Aiello, Fabio Massacci - 2001
1 Information Assurance for Security Protocols – Giampaolo Bella, Stefano Bistarelli
2 SET Cardholder Registration: The Secrecy Proofs – Lawrence C. Paulson - 2001
20 Using Isabelle to Prove Properties of the Kerberos Authentication System – Giampaolo Bella, Lawrence C Paulson - 1997
27 Verifying security protocols as planning in logic programming – Fabio Massacci - 2001
19 Security Protocols over open networks and distributed systems: Formal methods for their Analysis, Design, and Verification – Stefanos Gritzalis, Diomidis Spinellis, Panagiotis Georgiadis - 1999
138 Proving Properties of Security Protocols by Induction – Lawrence C. Paulson - 1997
7 Verifying the SET purchase protocols – Giampaolo Bella, Fabio Massacci, Lawrence C Paulson - 2001
3 Making sense of specifications: the formalization of set (extended abstract – Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson - 2000
3 Breaking Security Protocols as an AI Planning Problem – Fabio Massacci - 1997
368 The inductive approach to verifying cryptographic protocols – Lawrence C. Paulson - 1998
8 Embedding CSP in PVS. An Application to Authentication Protocols – Bruno Dutertre, Steve Schneider - 1997
156 A Hierarchy of Authentication Specifications – Gavin Lowe - 1997
1 Formal Verification Techniques For Computer Communication Security Protocols – Lu Ma, Jeffrey J. P. Tsai
18 Analysis of Security Protocols – Nancy A. Durgin , John C. Mitchell - 1999
1 Kerberos Version IV: Inductive Analysis of the Secrecy Goals – Giampaolo Bella Lawrence, Lawrence C Paulson - 1998
13 Mechanising BAN Kerberos by the Inductive Method – Giampaolo Bella, Lawrence C Paulson - 1998
67 Kerberos version IV: Inductive analysis of the secrecy goals – Giampaolo Bella, Lawrence C Paulson - 1998