AnBx - Security Protocols Design and Verification-Reference-Cited by-同舟云学术

AnBx - Security Protocols Design and Verification

Published:2010 Issue: Volume: Page:164-184
ISSN:0302-9743
Container-title:Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
language:
Short-container-title:

Author:

Bugliesi Michele,Modesti Paolo

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-16074-5_12

Reference29 articles.

1. Basin, D., Mödersheim, S., Viganò, L.: OFMC: A symbolic model checker for security protocols. International Journal of Information Security 4(3), 181–208 (2005)

2. Mödersheim, S., Viganò, L.: The open-source fixed-point model checker for symbolic analysis of security protocols. In: Foundations of Security Analysis and Design V, p. 194. Springer, Heidelberg (2009)

3. Dierks, T., Allen, C.: Rfc2246: The TLS protocol version 1.0. Internet RFCs (1999)

4. Abadi, M., Fournet, C., Gonthier, G.: Authentication primitives and their compilation. In: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 302–315. ACM, New York (2000)

5. Bugliesi, M., Focardi, R.: Language Based Secure Communication. In: IEEE 21st Computer Security Foundations Symposium, CSF 2008, pp. 3–16 (2008)

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

1. SEEMQTT: Secure End-to-End MQTT-Based Communication for Mobile IoT Systems Using Secret Sharing and Trust Delegation;IEEE Internet of Things Journal;2023-02-15

2. A Methodology for Protocol Verification Applied to EMV® 1;Lecture Notes in Computer Science;2018

3. Model checking the i KP electronic payment protocols;Journal of Information Security and Applications;2017-10

4. Refining Authenticated Key Agreement with Strong Adversaries;2017 IEEE European Symposium on Security and Privacy (EuroS&P);2017-04

5. Security protocol specification and verification with AnBx;Journal of Information Security and Applications;2016-10