改进的电子商务协议逻辑分析方法  

Improved Logic Analysis Method for Electronic Commerce Protocols

作　　者：席琳[1] 周清雷[1] 

机构地区：[1]郑州大学信息工程学院,郑州450052

出　　处：《计算机工程》2010年第13期291-292,F0003,共3页Computer Engineering

基　　金：国家"863"计划基金资助项目(2007AA010408)

摘　　要：在卿-周逻辑(软件学报,2001年第9期)的基础上提出一种改进的逻辑分析方法,用于分析电子商务协议的安全性,如可追究性、公平性和原子性。该方法通过引入消息新鲜性机制,使被重放的消息可以被识别,重新定义可追究性的实现条件,使得在发生重放攻击时能正确分析各方的责任性,给出原子性目标并增加对原子性分析的方法,以实现对协议原子性的分析。This paper proposes an improved logic analysis method based on Qing-Zhou logic to analyze the security of electronic commerce protocols such as accountability,fairness and atomicity.By introducing the fresh property of the message,it make a message replayed can be recognized.And it redefines the realization of accountability,so that it can correctly analyze the property when the replay attack occurs.It gives atomicity goal and increases the method for atomicity analysis to analyze atomicity of electronic commerce protocols.

关 键 词：电子商务协议 可追究性 公平性 原子性 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]