Safely Composing Security Protocols-Reference-Cited by-同舟云学术

Safely Composing Security Protocols

Published:2007 Issue: Volume: Page:352-363
ISSN:0302-9743
Container-title:FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
language:
Short-container-title:

Author:

Cortier Véronique,Delaitre Jérémie,Delaune Stéphanie

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-77050-3_29

Reference20 articles.

1. Abadi, M., Needham, R.M.: Prudent engineering practice for cryptographic protocols. IEEE Trans. Software Eng. 22(1), 6–15 (1996)

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

3. Andova, S., Cremers, C., Steen, K.G., Mauw, S., lsnes, S.M., Radomirović, S.: Sufficient conditions for composing security protocols. Information and Computation (to appear, 2007)

4. Blanchet, B.: An efficient cryptographic protocol verifier based on Prolog rules. In: CSFW 2001. Proc. 14th Computer Security Foundations Workshop, pp. 82–96. IEEE Computer Society Press, Los Alamitos (2001)

5. Lecture Notes in Computer Science;B. Blanchet,2003

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

1. Modular Verification of Protocol Equivalence in the Presence of Randomness;Computer Security – ESORICS 2017;2017

2. Composing Protocols with Randomized Actions;Lecture Notes in Computer Science;2016

3. Security Goals and Protocol Transformations;Theory of Security and Applications;2012

4. Secure Composition of Protocols;Theory of Security and Applications;2012

5. Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA;Security and Trust Management;2011