Deciding Knowledge in Security Protocols Under Equational Theories-Reference-Cited by-同舟云学术

Deciding Knowledge in Security Protocols Under Equational Theories

Published:2004 Issue: Volume: Page:46-58
ISSN:0302-9743
Container-title:Automata, Languages and Programming
language:
Short-container-title:

Author:

Abadi Martín,Cortier Véronique

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-27836-8_7

Reference21 articles.

1. Abadi, M., Cortier, V.: Deciding knowledge in security protocols under equational theories. Technical Report RR-5169, INRIA (April 2004), An up-to-date version will be kept at http://www.loria.fr/~cortier/publis.html

2. Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: Proceedings of the 28th ACM Symposium on Principles of Programming Languages (POPL 2001), January 2001, pp. 104–115 (2001)

3. Abadi, M., Gordon, A.D.: A bisimulation method for cryptographic protocols. Nordic Journal of Computing 5(4), 267–303 (1998)

4. Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: The spi calculus. Information and Computation 148(1), 1–70 (1999)

5. Lecture Notes in Computer Science;R.M. Amadio,2000

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

1. Adversarial Reachability for Program-level Security Analysis;Programming Languages and Systems;2023

2. Deciding a Fragment of $$(\alpha , \beta )$$-Privacy;Security and Trust Management;2021

3. Computing knowledge in equational extensions of subterm convergent theories;Mathematical Structures in Computer Science;2020-03-02

4. Modeling Adversaries in a Logic for Security Protocol Analysis;Logical Methods in Computer Science;2012-03-09

5. Efficient Decision Procedures for Message Deducibility and Static Equivalence;Lecture Notes in Computer Science;2011