Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment-Reference-Cited by-同舟云学术

Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment

Published:2015 Issue: Volume: Page:209-229
ISSN:0302-9743
Container-title:Computer Security -- ESORICS 2015
language:
Short-container-title:

Author:

Almousa Omar,Mödersheim Sebastian,Modesti Paolo,Viganò Luca

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-24177-7_11

Reference21 articles.

1. Almousa, O., Mödersheim, S., Modesti, P., Viganò, L.: Typing and compositionality for security protocols: a generalization to the geometric fragment (extended version). DTU Compute Technical report-2015-03 (2015). http://www.imm.dtu.dk/~samo/

2. Andova, S., Cremers, C.J.F., Gjøsteen, K., Mauw, S., Mjølsnes, S.F., Radomirovic, 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,2007

4. Arapinis, M., Duflot, M.: Bounding messages for free in security protocols - extension to various security properties. Inf. Comput. 239, 182–215 (2014)

5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);A Armando,2004

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

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

2. Formal Methods for Socio-technical Security;Lecture Notes in Computer Science;2022

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

4. Performing Security Proofs of Stateful Protocols;2021 IEEE 34th Computer Security Foundations Symposium (CSF);2021-06

5. Privacy, Security and Trust in the Internet of Neurons;Lecture Notes in Computer Science;2021