A framework for compositional verification of security protocols-Reference-Cited by-同舟云学术

A framework for compositional verification of security protocols

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

Author:

Andova Suzana,Cremers Cas,Gjøsteen Kristian,Mauw Sjouke,Mjølsnes Stig F.,Radomirović Saša

Publisher

Elsevier BV

Subject

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

Reference44 articles.

1. A calculus for cryptographic protocols: the spi calculus;Abadi;Inf. Comput.,1999

2. J. Alves-Foss, Provably insecure mutual authentication protocols: the two-party symmetric encryption case, in: Proceedings of National Information System Security Conference, October 1999, pp. 306–314.

3. Proving authentication properties in the Protocol Derivation Assistant;Anlauff,2006

4. The AVISPA tool for the automated validation of internet security protocols and applications;Armando,2005

5. Compositional analysis of contract-signing protocols;Backes;Theor. Comput. Sci.,2006

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

1. Stateful Protocol Composition in Isabelle/HOL;ACM Transactions on Privacy and Security;2023-04-14

2. A formal analysis method for composition protocol based on model checking;Scientific Reports;2022-05-19

3. Learning Assumptions for Verifying Cryptographic Protocols Compositionally;Formal Aspects of Component Software;2021

4. A survey on secure communication techniques for 5G wireless heterogeneous networks;Information Fusion;2020-10

5. Security Verification of Industrial Control Systems using Partial Model Checking;Proceedings of the 8th International Conference on Formal Methods in Software Engineering;2020-09-12