Deciding knowledge in security protocols under equational theories-Reference-Cited by-同舟云学术

Deciding knowledge in security protocols under equational theories

Published:2006-11 Issue:1-2 Volume:367 Page:2-32
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

Abadi Martín,Cortier Véronique

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference34 articles.

1. M. Abadi, V. Cortier, Deciding knowledge in security protocols under equational theories, in: Proc. 31st Internat. Coll. Automata, Languages, and Programming (ICALP’04), Lecture Notes in Computer Science, Vol. 3142, Springer, Berlin, July 2004, pp. 46–58.

2. Deciding knowledge in security protocols under (many more) equational theories;Abadi,2005

3. M. Abadi, C. Fournet, Mobile values, new names, and secure communication, in: Proc. 28th ACM Symp. on Principles of Programming Languages (POPL’01), January 2001, pp. 104–115.

4. A bisimulation method for cryptographic protocols;Abadi;Nordic J. Comput.,1998

5. A calculus for cryptographic protocols: the spi calculus;Abadi;Inform. Comput.,1999

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

1. Remote Registration of Multiple Authenticators;Proceedings of the Fourteenth ACM Conference on Data and Application Security and Privacy;2024-06-19

2. DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19

3. Decision and Complexity of Dolev-Yao Hyperproperties;Proceedings of the ACM on Programming Languages;2024-01-05

4. Deciding Knowledge Problems Modulo Classes of Permutative Theories;Lecture Notes in Computer Science;2024

5. Automatic verification of transparency protocols;2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P);2023-07