文献类型：会议论文

中文题名：Verification Method of Security Protocols and Its Application

作者：Li Chen[1];Xiaoxue Li[1];

第一作者：陈莉

机构：[1]Henan University of Economics and Law, Zhengzhou, Henan, China;

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

会议论文集：2010 IEEE International Conference on Intelligent Computing and Intelligent Systems(2010 IEEE 智能计算与智能系统国际会议 ICIS 2010)论文集

会议日期：20101029

会议地点：厦门

主办单位：中国人工智能学会;IEEE;上海交通大学;厦门大学

语种：英文

中文关键词：verification logic;security property;fairness;accountability;hybrid cryptography-based primitives

摘要：The paper researches the typical logic verification methods of security protocols and points out their limitations. Most of them are lack of formal semantics and analysis ability to hybrid cryptography-based primitives, in response on the above-mentioned problems, the paper proposes a new logic verification method, which can analyze most of the known security properties of the e-commerce protocols, such as authentication, secrecy of key, non-repudiation, accountability, fairness and atomicity. The validation of the new logic is verified by analyzing the anonymous e-cash payment protocol and certificated E-mail delivery protocol. The analysis results reveal that the two protocols cannot satisfy the intended security goals.