Composition of password-based protocols-Reference-Cited by-同舟云学术

Composition of password-based protocols

Published:2013-03-14 Issue:3 Volume:43 Page:369-413
ISSN:0925-9856
Container-title:Formal Methods in System Design
language:en
Short-container-title:Form Methods Syst Des

Author:

Chevalier Céline,Delaune Stéphanie,Kremer Steve,Ryan Mark D.

Publisher

Springer Science and Business Media LLC

Subject

Hardware and Architecture,Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s10703-013-0184-6.pdf

Reference38 articles.

1. Lecture notes in computer science;M Abadi,2006

2. Abadi M, Fournet C (2001) Mobile values, new names, and secure communication. In: Nielson HR (ed) Proc 28th symposium on principles of programming languages (POPL’01). ACM, New York, pp 104–115

3. Abadi M, Gordon AD (1997) A calculus for cryptographic protocols: the spi calculus. In: Proc 4th conference on computer and communications security (CCS’97). ACM, New York, pp 36–47

4. Lecture notes in computer science;M Abdalla,2011

5. Lecture notes in computer science;M Abdalla,2009

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

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

2. Cybersecurity Best Practices and Cultural Change in Global Business;Cyber Warfare and Terrorism;2020

3. Stateful Protocol Composition;Computer Security;2018

4. Modular Verification of Sequential Composition for Private Channels in Maude-NPA;Security and Trust Management;2018

5. Secure Composition of PKIs with Public Key Protocols;2017 IEEE 30th Computer Security Foundations Symposium (CSF);2017-08