Refining security protocols-Reference-Cited by-同舟云学术

Refining security protocols

Published:2017-11-30 Issue:1 Volume:26 Page:71-120
ISSN:1875-8924
Container-title:Journal of Computer Security
language:
Short-container-title:JCS

Author:

Sprenger Christoph¹,Basin David¹

Affiliation:

1. Institute of Information Security, Department of Computer Science, ETH Zurich, Switzerland

Publisher

IOS Press

Subject

Computer Networks and Communications,Hardware and Architecture,Safety, Risk, Reliability and Quality,Software

Reference64 articles.

1. Secure implementation of channel abstractions;Abadi;Inf. Comput.,2002

2. The existence of refinement mappings;Abadi;Theoretical Computer Science,1991

3. Modeling in Event-B

4. Refinement, decomposition, and instantiation of discrete models: Application to Event-B;Abrial;Fundam. Inform.,2007

5. R. Alur, P. Cerný and S. Zdancewic, Preserving secrecy under refinement, in: Proc. 33rd International Colloquium on Automata, Languages and Programming (ICALP), M. Bugliesi, B. Preneel, V. Sassone and I. Wegener, eds, Lecture Notes in Computer Science, Vol. 4052, 2006, pp. 107–118.

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

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

2. On Compositional Information Flow Aware Refinement;2021 IEEE 34th Computer Security Foundations Symposium (CSF);2021-06

3. Igloo: soundly linking compositional refinement and separation logic for distributed system verification;Proceedings of the ACM on Programming Languages;2020-11-13

4. Short Paper: Modular Black-box Runtime Verification of Security Protocols;Proceedings of the 15th Workshop on Programming Languages and Analysis for Security;2020-11-09

5. The Impact of Time Parameters on the Security Protocols Correctness;Computer Networks;2018