On the protocol composition logic PCL

Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, ASIACCS '08

Volumn , Issue , 2008, Pages 66-76

  Cremers, Cas ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

Composition; Logic; Security protocol analysis

Indexed keywords

FORMAL SECURITY; PROTOCOL COMPOSITION; SECURITY PROTOCOL ANALYSIS;

NETWORK PROTOCOLS;

NETWORK SECURITY;

EID: 48949094875     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1368310.1368324     Document Type: Conference Paper

References (14)

1. A. Armando, D. Basin, Y. Boichut, Y. Chevalier, L. Compagna, L. Cuellar, P. Drielsma, P. Héam, O. Kouchnarenko, J. Mantovani, S. Mödersheim, D. von Oheimb, M. Rusinowitch, J. Santiago, M. Turuani, L. Viganò, and L. Vigneron. The AVISPA tool for the automated validation of internet security protocols and applications. volume 3576 of Lecture Notes in Computer Science, pages 281-285. Springer-Verlag, 2005.
2. D. Basin, S. Mödersheim, and L. Viganò. An on-the-fly model-checker for security protocol analysis. In ESORICS, volume 2808 of Lecture Notes in Computer Science, pages 253-270. Springer-Verlag, 2003. (Pubitemid 37311874)
3. M. Bellare and P. Rogaway. Entity authentication and key distribution. In CRYPTO '93: Proceedings of the 13th annual international cryptology conference on Advances in cryptology, pages 232-249, New York, NY, USA, 1994. Springer-Verlag.
4. B. Blanchet. An efficient cryptographic protocol verifier based on Prolog rules. In Proc. 14th IEEE Computer Security Foundations Workshop (CSFW), pages 82-96. IEEE Computer Society, 2001.
5. E. Bresson, Y. Lakhnech, L. Mazaré, and B. Warinschi. A generalization of DDH with applications to protocol analysis and computational soundness. In A. J. Menezes, editor, Proc. of Crypto '07, volume 4622 of Lecture Notes in Computer Science, pages 482-499. Springer-Verlag, August 2007.
6. M. Burrows, M. Abadi, and R. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8 (1):18-36, 1990.
7. C. Cremers. Scyther - Semantics and Verification of Security Protocols. PhD thesis, Computer Science Department, Eindhoven University of Technology, November 2006.
8. C. Cremers, S. Mauw, and E. de Vink. Injective synchronisation: an extension of the authentication hierarchy. Theoretical Computer Science, 2006.
9. A. Datta. Security Analysis of Network Protocols: Compositional Reasoning and Complexity-theoretic Foundations. PhD thesis, Computer Science Department, Stanford University, September 2005.
10. A. Datta, A. Derek, J. Mitchell, and D. Pavlovic. A derivation system for security protocols and its logical formalization. In Proc. 16th IEEE Computer Security Foundations Workshop (CSFW), pages 109-125. IEEE Computer Society, 2003.
11. A. Datta, A. Derek, J. Mitchell, and D. Pavlovic. Abstraction and refinement in protocol derivation. In Proc. 17th IEEE Computer Security Foundations Workshop (CSFW), pages 30-45, Washington, DC, USA, June 2004. IEEE Computer Society.
12. A. Datta, A. Derek, J. Mitchell, and D. Pavlovic. Secure protocol composition. Electron. Notes Theor. Comput. Sci., 83, 2004. Proceedings of 19th Annual Conference on Mathematical Foundations of Programming Semantics.
13. A. Datta, A. Derek, J. Mitchell, and D. Pavlovic. A derivation system and compositional logic for security protocols. Journal of Computer Security, 13 (3):423-482, 2005.
14. A. Datta, A. Derek, J. Mitchell, and A. Roy. Protocol Composition Logic (PCL). Electron. Notes Theor. Comput. Sci., 172:311-358, 2007. Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin. Editors: L. Cardelli, M. Fiore, and G.