Stateful Protocol Composition-Reference-Cited by-同舟云学术

Stateful Protocol Composition

Published:2018 Issue: Volume: Page:427-446
ISSN:0302-9743
Container-title:Computer Security
language:
Short-container-title:

Author:

Hess Andreas V.^ORCID,Mödersheim Sebastian A.^ORCID,Brucker Achim D.^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-99073-6_21

Reference20 articles.

1. Lecture Notes in Computer Science;O Almousa,2015

2. Andova, S., Cremers, C.J.F., Gjøsteen, K., Mauw, S., Mjølsnes, S.F., Radomirović, S.: A framework for compositional verification of security protocols. Inf. Comput. 206(2–4), 425–459 (2008)

3. Lecture Notes in Computer Science;M Arapinis,2015

4. Backes, M., Pfitzmann, B., Waidner, M.: The reactive simulatability (RSIM) framework for asynchronous systems. Inf. Comput. 205(12), 1685–1720 (2007)

5. Butin, D.F.: Inductive analysis of security protocols in Isabelle/HOL with applications to electronic voting. Ph.D. thesis, Dublin City University, November 2012

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

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

2. Contingent payments from two-party signing and verification for abelian groups;2022 IEEE 35th Computer Security Foundations Symposium (CSF);2022-08

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

4. On the Soundness of Infrastructure Adversaries;2021 IEEE 34th Computer Security Foundations Symposium (CSF);2021-06

5. Vertical Composition and Sound Payload Abstraction for Stateful Protocols;2021 IEEE 34th Computer Security Foundations Symposium (CSF);2021-06