Martín Abadi & Cédric Fournet (2001):
Mobile Values, New Names, and Secure Communication.
In: 28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'01).
ACM Press,
New York, NY,
pp. 104–115,
doi:10.1145/360204.360213.
L. Bachmair & H. Ganzinger (2001):
Resolution Theorem Proving.
In: A. Robinson & A. Voronkov: Handbook of Automated Reasoning, chapter 2 1.
North Holland,
pp. 19–100,
doi:10.1016/B978-044450813-3/50004-7.
Dorothy E. Denning & Giovanni Maria Sacco (1981):
Timestamps in Key Distribution Protocols.
Communications of the ACM 24(8),
pp. 533–536,
doi:10.1145/358722.358740.
Danny Dolev & Andrew C. Yao (1983):
On the Security of Public Key Protocols.
IEEE Transactions on Information Theory IT-29(12),
pp. 198–208,
doi:10.1109/TIT.1983.1056650.
Nancy Durgin, Patrick Lincoln, John C. Mitchell & Andre Scedrov (2004):
Multiset Rewriting and the Complexity of Bounded Security Protocols.
Journal of Computer Security 12(2),
pp. 247–311,
doi:10.3233/JCS-2004-12203.
Simon Meier, Benedikt Schmidt, Cas Cremers & David Basin (2013):
The TAMARIN prover for symbolic analysis of security protocols.
In: Natasha Sharygina & Helmut Veith: International Conference on Computer-Aided Verification (CAV'13),
Lecture Notes in Computer Science 8044.
Springer,
pp. 696–701,
doi:10.1007/978-3-642-39799-8_48.
Roger M. Needham & Michael D. Schroeder (1978):
Using Encryption for Authentication in Large Networks of Computers.
Communications of the ACM 21(12),
pp. 993–999,
doi:10.1145/359657.359659.
Stephan Schulz (2013):
Simple and Efficient Clause Subsumption with Feature Vector Indexing.
In: Maria Paola Bonacina & Mark E. Stickel: Automated Reasoning and Mathematics: Essays in Memory of William W. McCune,
Lecture Notes in Artificial Intelligence 7788.
Springer,
Berlin, Heidelberg,
pp. 45–67,
doi:10.1007/978-3-642-36675-8_3.
Thomas Y. C. Woo & Simon S. Lam (1993):
A Semantic Model for Authentication Protocols.
In: Proceedings IEEE Symposium on Research in Security and Privacy.
IEEE Computer Society Press,
Los Alamitos, CA,
pp. 178–194,
doi:10.1109/RISP.1993.287633.