文献类型：期刊文献

英文题名：Cryptographic protocol logic for analyzing a variety of security properties and its formal semantics

作者：Chen, Li[1]; Li, Xiangdong[2]

第一作者：陈莉

通讯作者：Chen, L.

机构：[1] Henan University of Economics and Law, China; [2] School of Computer Science, Zhongyuan University of Technology, China

第一机构：河南财经政法大学

年份：2012

卷号：4

期号：11

起止页码：283-293

外文期刊名：International Journal of Advancements in Computing Technology

收录：EI(收录号：20124115554966);Scopus(收录号：2-s2.0-84867158222)

语种：英文

外文关键词：Cryptography - Formal methods - Network security - Semantics

摘要：There are several drawbacks in the existing typical analysis logics of cryptographic protocols, such as limitations of security properties analysis, limited ability in analyzing hybrid cryptography-based primitives and lack of formal semantics. In view of the above-mentioned problems, the paper proposes a novel logic, which can analyze the main security properties of the e-commerce cryptographic protocols, such as key confidentiality, authentication, non-repudiation, accountability, fairness and atomicity. Due to the fact that most existing analysis logics are lack of formal semantics which can prove the correctness of the logic systems, strand space semantics of the new logic are given, and the correctness of the main theorems in this logic is proved by using the strand space model semantics. Furthermore, the validity of this logic is verified by analyzing a sample of cryptographic security protocols.