Concurrent Knowledge Extraction in Public-Key Models

Yao, Andrew Chi-Chih; Yung, Moti; Zhao, Yunlei

doi:10.1007/s00145-014-9191-z

Cited by 2 publications

(2 citation statements)

References 65 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The future study in this field lies in the automatic security analysis of protocol implementations [32] and the security analysis of parallel protocol implementations [33]. It requires improving existing protocol automatic analysis tools or developing new automatic tools for the security analysis of protocol implementations.…”

Section: Discussionmentioning

confidence: 99%

A New Method to Analyze the Security of Protocol Implementations Based on Ideal Trace

Zhang

Wang

et al. 2017

Security and Communication Networks

View full text Add to dashboard Cite

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.

show abstract

Section: Discussionmentioning

confidence: 99%

A New Method to Analyze the Security of Protocol Implementations Based on Ideal Trace

Zhang

Wang

et al. 2017

Security and Communication Networks

View full text Add to dashboard Cite

show abstract

“…Deng et al [71,72] solved the simultaneous resettable conjecture problem in zero-knowledge proof. Zhao and Andrew [73] designed concurrent knowledge extraction for public key models. Zero-knowledge proof is the foundation of many kinds of security protocol, and has been widely used to achieve identity authentication, electronic voting protocols and many other application protocols.…”

Section: Cryptographic Protocolsmentioning

confidence: 99%

Survey on cyberspace security

Zhang

Han²,

Lai

et al. 2015

Sci. China Inf. Sci.

View full text Add to dashboard Cite

Along with the rapid development and wide application of information technology, human society has entered the information era. In this era, people live and work in cyberspace. Cyberspace is the collection of all information systems; it is the information environment for human survival. Therefore, it is necessary to ensure the security of cyberspace. This paper gives a comprehensive introduction to research and development in this field, with a description of existing problems and some currently active research topics in the areas of cyberspace itself, cyberspace security, cryptography, network security, information system security and information content security.

show abstract

Concurrent Knowledge Extraction in Public-Key Models

Cited by 2 publications

References 65 publications

A New Method to Analyze the Security of Protocol Implementations Based on Ideal Trace

A New Method to Analyze the Security of Protocol Implementations Based on Ideal Trace

Survey on cyberspace security

Contact Info

Product

Resources

About