Algebraic Intruder Deductions-Reference-Cited by-同舟云学术

Algebraic Intruder Deductions

Published:2005 Issue: Volume: Page:549-564
ISSN:0302-9743
Container-title:Logic for Programming, Artificial Intelligence, and Reasoning
language:
Short-container-title:

Author:

Basin David,Mödersheim Sebastian,Viganò Luca

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11591191_38.pdf

Reference28 articles.

1. Lecture Notes in Computer Science;M. Abadi,2004

2. Abadi, M., Cortier, V.: Deciding knowledge in security protocols under (many more) equational theories. In: Proceedings of CSFW 2005, pp. 62–76. IEEE Computer Society Press, Los Alamitos (2005)

3. Lecture Notes in Computer Science;A. Armando,2002

4. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)

5. Baader, F., Schulz, K.U.: Unification in the union of disjoint equational theories: Combining decision procedures. Journal of Symbolic Computation 21, 211–243 (1996)

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

1. Contingent payments from two-party signing and verification for abelian groups;2022 IEEE 35th Computer Security Foundations Symposium (CSF);2022-08

2. Scalable, password-based and threshold authentication for smart homes;International Journal of Information Security;2022-02-07

3. Model Checking Security Protocols;Handbook of Model Checking;2018

4. Satisfiability of general intruder constraints with and without a set constructor;Journal of Symbolic Computation;2017-05

5. Historical Background and Further Reading;Operational Semantics and Verification of Security Protocols;2012