Author:
Basin David,Mödersheim Sebastian,Viganò Luca
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Lecture Notes in Computer Science;R. Amadio,2000
2. AVISPA: Automated Validation of Internet Security Protocols and Applications. FET Open Project IST-2001-39252,
http://www.avispa-project.org
3. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge U. Pr., New York (1998)
4. Lecture Notes in Computer Science;D. Basin,1999
5. Basin, D., Mödersheim, S., Viganò, L.: An On-The-Fly Model-Checker for Security Protocol Analysis (Extended Version). Technical Report 404, ETH Zurich, Computer Science (2003),
http://www.inf.ethz.ch/research/publications/
Cited by
73 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献