On the relationships between models in protocol verification-Reference-Cited by-同舟云学术

On the relationships between models in protocol verification

Published:2008-02 Issue:2-4 Volume:206 Page:291-311
ISSN:0890-5401
Container-title:Information and Computation
language:en
Short-container-title:Information and Computation

Author:

Mödersheim Sebastian

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science

Reference30 articles.

1. A. Armando, D. Basin, Y. Boichut, Y. Chevalier, L. Compagna, J. Cuellar, P. Hankes Drielsma, P.-C. Héam, J. Mantovani, S. Mödersheim, D. von Oheimb, M. Rusinowitch, J. Santiago, M. Turuani, L. Viganò, L. Vigneron, The AVISPA tool for the automated validation of internet security protocols and applications, in: CAV’05, 2005, pp. 281–285.

2. G. Denker, J. Millen, CAPSL intermediate language, in: Formal Methods and Security Protocols, 1999, pp. 1–10.

3. Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols;Meseguer;Journal of Higher-Order and Symbolic Computation,2005

4. The inductive approach to verifying cryptographic protocols;Paulson;Journal of Computer Security,1998

5. A comparison between strand spaces and multiset rewriting for security protocol analysis;Cervesato,2003

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

1. Abstraction by set-membership;Proceedings of the 17th ACM conference on Computer and communications security - CCS '10;2010

2. Integrating Automated and Interactive Protocol Verification;Formal Aspects in Security and Trust;2010

3. The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols;Foundations of Security Analysis and Design V;2009