Common program analysis of two-party security protocols using SMV

Authors:
Yuqing Zhang;Suping Jia
Affiliations:
State Key Laboratory of Information Security, Graduate University of Chinese, Academy of Sciences, Beijing, P.R. China;State Key Laboratory of Information Security, Graduate University of Chinese, Academy of Sciences, Beijing, P.R. China
Venue:
APWeb'06 Proceedings of the 2006 international conference on Advanced Web and Network Technologies, and Applications
Year:
2006

Citing 5
Cited 0

Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR

TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Towards a Completeness Result for Model Checking of Security Protocols

CSFW '98 Proceedings of the 11th IEEE workshop on Computer Security Foundations
Automated analysis of cryptographic protocols using Mur/spl phi/

SP '97 Proceedings of the 1997 IEEE Symposium on Security and Privacy
Automatic verification of security in payment protocols for electronic commerce

Enterprise information systems IV
An approach to the formal verification of the three-principal cryptographic protocols

ACM SIGOPS Operating Systems Review

Quantified Score

Hi-index	0.00

Visualization

Abstract

A common framework, which can be used to analyze the two-party security protocols, is proposed in this paper. With the common framework, a common program is developed in order that any two-party security protocol can be automatically analyzed through SMV with slight modification of the common program. Finally, we illustrate the feasibility and efficiency of the common program analysis with the SSL 3.0 protocol as a case study.