Comparing State Spaces in Automatic Security Protocol Analysis-Reference-Cited by-同舟云学术

Comparing State Spaces in Automatic Security Protocol Analysis

Published:2009 Issue: Volume: Page:70-94
ISSN:0302-9743
Container-title:Formal to Practical Security
language:
Short-container-title:

Author:

Cremers Cas J. F.,Lafourcade Pascal,Nadeau Philippe

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-02002-5_5

Reference47 articles.

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

2. Lecture Notes in Computer Science;A. Armando,2005

3. Lecture Notes in Computer Science;A. Armando,2002

4. Armando, A., Compagna, L.: An optimized intruder model for SAT-based model-checking of security protocols. In: Armando, A., Viganò, L. (eds.) ENTCS, vol. 125, pp. 91–108. Elsevier Science Publishers, Amsterdam (2005)

5. AVISPA Project. AVISPA protocol library, http://www.avispa-project.org/

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

1. A Comparative Study of Protocols’ Security Verification Tools: Avispa, Scyther, ProVerif, and Tamarin;Lecture Notes in Networks and Systems;2024

2. Secure and Lightweight Authentication Protocol Using PUF for the IoT-based Wireless Sensor Network;ACM Journal on Emerging Technologies in Computing Systems;2023-11-14

3. BSAPM: BlockChain based secured authentication protocol for large scale WSN with FPGA implementation;Computer Communications;2023-09

4. Formal Verification of Security Protocols;Texts in Theoretical Computer Science. An EATCS Series;2022

5. An efficient authentication and key agreement protocol for IoT-enabled devices in distributed cloud computing architecture;EURASIP Journal on Wireless Communications and Networking;2021-07-10