Analyzing security protocols with secrecy types and logic programs

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2002, Pages 33-44

  Abadi, Martín ^a   Blanchet, Bruno ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b ECOLE NORMALE SUPÉRIEURE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CRYPTOGRAPHY; EQUIVALENCE CLASSES; SECURITY OF DATA;

SECRECY PROPERTIES; SECURITY PROTOCOLS;

LOGIC PROGRAMMING;

EID: 0036040302     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/503272.503277     Document Type: Conference Paper

References (36)

1. Secrecy by typing in security protocols
2. Security protocols and their properties
3. A core calculus of dependency
4. Secrecy types for asymmetric communication
5. Mobile values, new names and secure communication
6. A calculus for cryptographic protocols: The spi calculus
7. On the reachability problem in cryptographic protocols
8. An efficient cryptographic protocol verifier based on prolog rules
9. Control flow analysis for the π-calculus
10. Secrecy and group creation
11. A meta-notation for protocol analysis
12. Proving trust in systems of second-order processes
13. A new algorithm for the automatic verification of authentication protocols: From specifications to flaws and attack scenarios
14. Protocol specification and analysis in Maude
15. CVS: A compiler for the analysis of cryptographic protocols
16. A compositional logic for protocol correctness
17. Analysis of security protocols
18. The compositional security checker: A tool for the verification of information flow security properties
19. Authenticity by typing for security protocols
20. The SLam calculus: Programming with secrecy and integrity
21. Information flow vs. resource access in the asynchronous pi-calculus
22. Secure information flow as typed process behaviour
23. Three systems for cryptographic protocol analysis
24. SKEME: A versatile secure key exchange mechanism for internet
25. A probabilistic poly-time framework for protocol analysis
26. Breaking and fixing the Needham-Schroeder public-key protocol using FDR
27. Panel on languages for formal specification of security protocols
28. Protection in programming languages
29. JFlow: Practical mostly-static information flow control
30. Using encryption for authentication in large networks of computers
31. The inductive approach to verifying cryptographic protocols
32. Logical relations and encryption (Extended abstract)
33. A sound type system for secure flow analysis
34. Towards an automatic analysis of security protocols in first-order logic