An approach to the formal verification of the two-party cryptographic protocols-Reference-Cited by-同舟云学术

An approach to the formal verification of the two-party cryptographic protocols

Published:1999-10 Issue:4 Volume:33 Page:48-51
ISSN:0163-5980
Container-title:ACM SIGOPS Operating Systems Review
language:en
Short-container-title:SIGOPS Oper. Syst. Rev.

Author:

Zhang Yuqing¹,Li Jihong¹,Xiao Guozhen¹

Affiliation:

1. State Key Lab on ISN, Xidian University, Xi'an, 710071, P. R. China, Institute of Information Security, Xidian University, Xi'an, 710071, P. R. China

Abstract

A general method, which can be used to verify the two-party cryptographic protocols, is present in this paper. Our approach makes use of running modes of the two-party cryptographic protocols to analyze the protocols. Based on this method, the verification of the protocols becomes independent of model checking tools. Finally, this approach is illustrated with an example on the Needham-Schroeder public-key protocol.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/334598.334607

Reference14 articles.

1. A semantics for a logic of authentication (extended abstract)

2. A logic of authentication

3. Reasoning about belief in cryptographic protocols

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

1. Security protocol analysis based on run modes and Petri net;International Conference on Algorithms, Microchips and Network Applications;2022-05-06

2. An efficient dynamic group key agreement protocol for imbalanced wireless networks;International Journal of Network Management;2010

3. The Running-Mode Analysis of Two-Party Optimistic Fair Exchange Protocols;Computational Intelligence and Security;2005

4. Running-mode analysis of the Security Socket Layer protocol;ACM SIGOPS Operating Systems Review;2004-04

5. An approach to the formal verification of the three-principal cryptographic protocols;ACM SIGOPS Operating Systems Review;2004-01