Selecting Theories and Recursive Protocols-Reference-Cited by-同舟云学术

Selecting Theories and Recursive Protocols

Published:2005 Issue: Volume: Page:217-232
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Truderung Tomasz

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11539452_19

Reference17 articles.

1. Lecture Notes in Computer Science;R.M. Amadio,2002

2. Ateniese, G., Steiner, M., Tsudik, G.: Authenticated group key agreement and friends. In: Proceedings of the 5th ACM Conference on Computer and Communication Serucity (CCS 1998). ACM Press, New York (1998)

3. Bryans, J., Schneider, S.A.: CSP, PVS, and a recursive authentication protocol. In: DIMACS Workshop on Formal Verification of Security Protocols (1997)

4. Bull, J.A., Otway, D.J.: The authentication protocol, Technical Report DRA/CIS3/PROJ/CORBA/SC/1/CSM/436-04/-03, Defence Research Agency, Malvern, UK (1997)

5. Lecture Notes in Computer Science;Y. Chevalier,2003

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

1. Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later;Lecture Notes in Computer Science;2015

2. Verification of security protocols with lists: From length one to unbounded length;Journal of Computer Security;2013-12-20

3. Deciding Security for Protocols with Recursive Tests;Lecture Notes in Computer Science;2011

4. Proving Group Protocols Secure Against Eavesdroppers;Automated Reasoning;2008

5. Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol;Automated Technology for Verification and Analysis;2008