Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Analyzing Security Protocols with Secrecy Types and Logic Programs
 

Summary: Analyzing Security Protocols with
Secrecy Types and Logic Programs
MART´IN ABADI
University of California, Santa Cruz
and
BRUNO BLANCHET
CNRS, ´Ecole Normale Sup´erieure, Paris
We study and further develop two language-based techniques for analyzing security protocols. One
is based on a typed process calculus; the other, on untyped logic programs. Both focus on secrecy
properties. We contribute to these two techniques, in particular by extending the former with a
flexible, generic treatment of many cryptographic operations. We also establish an equivalence
between the two techniques.
Categories and Subject Descriptors: C.2.0 [Computer-Communication Networks]: General--
Security and protection (e.g., firewalls); C.2.2 [Computer-Communication Networks]: Net-
work Protocols--Protocol verification; D.2.4 [Software Engineering]: Software/Program Verifi-
cation--Formal Methods; F.3.1 [Logics and Meanings of Programs]: Specifying and Verifying
and Reasoning about Programs--Mechanical verification; F.3.2 [Logics and Meanings of Pro-
grams]: Semantics of Programming Languages--Process models
General Terms: Languages, Security, Theory, Verification
Additional Key Words and Phrases: Cryptographic protocols, logic programming, process calculi,

  

Source: Abadi, Martín - Department of Computer Science, University of California at Santa Cruz
Blanchet, Bruno - Département d'Informatique, École Normale Supérieure

 

Collections: Computer Technologies and Information Sciences