Secrecy types for asymmetric communication-Reference-Cited by-同舟云学术

Secrecy types for asymmetric communication

Published:2003-04 Issue:3 Volume:298 Page:387-415
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

Abadi Martín,Blanchet Bruno

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference36 articles.

1. Secrecy by typing in security protocols;Abadi;J. ACM,1999

2. M. Abadi, Security protocols and their properties, in: F.L. Bauer, R. Steinbrueggen (Eds.), Foundations of Secure Computation, NATO Science Series, IOS Press, Amsterdam, 2000, pp. 39–60. Volume for the 20th International Summer School on Foundations of Secure Computation, Marktoberdorf, Germany, 1999.

3. M. Abadi, B. Blanchet, Analyzing security protocols with secrecy types and logic programs, in: Proc. 29th Annu. ACM Symp. on Principles of Programming Languages, January 2002, pp. 33–44.

4. A calculus for cryptographic protocols;Abadi;Inform. and Comput.,1999

5. Prudent engineering practice for cryptographic protocols;Abadi;IEEE Trans. Software Engng.,1996

Cited by 25 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Efficient Verification of Cryptographic Protocols with Dynamic Epistemic Logic;Applied Sciences;2020-09-21

2. Analysis of Cryptographic Protocol by Dynamic Epistemic Logic;IEEE Access;2019

3. Linked data privacy;Mathematical Structures in Computer Science;2015-03-18

4. Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif;Foundations of Security Analysis and Design VII;2014

5. Type-Based Analysis of Protected Storage in the TPM;Information and Communications Security;2013