A New Method to Analyze the Security of Protocol Implementations Based on Ideal Trace
Joint Authors
Shi, Yuan
Zhang, Huanguo
Wu, Fusheng
Wang, Wengqing
Jia, Jianwei
Source
Security and Communication Networks
Issue
Vol. 2017, Issue 2017 (31 Dec. 2017), pp.1-15, 15 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2017-10-18
Country of Publication
Egypt
No. of Pages
15
Main Subjects
Information Technology and Computer Science
Abstract EN
The security analysis of protocols on theory level cannot guarantee the security of protocol implementations.
To solve this problem, researchers have done a lot, and many achievements have been reached in this field, such as model extraction and code generation.
However, the existing methods do not take the security of protocol implementations into account.
In this paper, we have proposed to exploit the traces of function return values to analyze the security of protocol implementations at the source code level.
Taking classic protocols into consideration, for example (like the Needham-Schroeder protocol and the Diffie-Hellman protocol, which cannot resist man-in-the-middle attacks), we have analyzed man-in-the-middle attacks during the protocol implementations and have carried out experiments.
It has been shown in the experiments that our new method works well.
Different from other methods of analyzing the security of protocol implementations in the literatures, our new method can avoid some flaws of program languages (like C language memory access, pointer analysis, etc.) and dynamically analyze the security of protocol implementations.
American Psychological Association (APA)
Wu, Fusheng& Zhang, Huanguo& Wang, Wengqing& Jia, Jianwei& Shi, Yuan. 2017. A New Method to Analyze the Security of Protocol Implementations Based on Ideal Trace. Security and Communication Networks،Vol. 2017, no. 2017, pp.1-15.
https://search.emarefa.net/detail/BIM-1203087
Modern Language Association (MLA)
Wu, Fusheng…[et al.]. A New Method to Analyze the Security of Protocol Implementations Based on Ideal Trace. Security and Communication Networks No. 2017 (2017), pp.1-15.
https://search.emarefa.net/detail/BIM-1203087
American Medical Association (AMA)
Wu, Fusheng& Zhang, Huanguo& Wang, Wengqing& Jia, Jianwei& Shi, Yuan. A New Method to Analyze the Security of Protocol Implementations Based on Ideal Trace. Security and Communication Networks. 2017. Vol. 2017, no. 2017, pp.1-15.
https://search.emarefa.net/detail/BIM-1203087
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1203087