The AVISS Security Protocol Analysis Tool-Reference-Cited by-同舟云学术

The AVISS Security Protocol Analysis Tool

Published:2002 Issue: Volume: Page:349-354
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Armando Alessandro,Basin David,Bouallagui Mehdi,Chevalier Yannick,Compagna Luca,Mödersheim Sebastian,Rusinowitch Michael,Turuani Mathieu,Viganò Luca,Vigneron Laurent

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45657-0_27

Reference8 articles.

1. Lect Notes Comput Sci;D. Basin,1999

2. J. Clark and J. Jacob. A Survey of Authentication Protocol Literature: Version 1.0, 17. Nov. 1997. URL http://www.cs.york.ac.uk/~jac/papers/drareview.ps.gz .

3. G. Denker and J. Millen. CAPSL Intermediate Language. In Proc. of FMSP’99. URL for CAPSL and CIL: http://www.csl.sri.com/~millen/capsl/ .

4. B. Donovan, P. Norris, and G. Lowe, Analyzing a library of protocols using Casper and FDR. In Proc. of FMSP’99.

5. Lect Notes Comput Sci;F. Jacquemard,2000

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

1. Secure and Anonymous Voting D-App with IoT Embedded Device Using Blockchain Technology;Electronics;2022-06-16

2. Performance Evaluations of Cryptographic Protocols Verification Tools Dealing with Algebraic Properties;Foundations and Practice of Security;2016

3. Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties;Formal Aspects in Security and Trust;2010

4. Comparing State Spaces in Automatic Security Protocol Analysis;Formal to Practical Security;2009

5. Chosen-name Attacks: An Overlooked Class of Type-flaw Attacks;Electronic Notes in Theoretical Computer Science;2008-02