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

• 作者: 周清雷 席琳
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 电子商务协议 可追究性 公平性 原子性
• 年，卷（期）: 2010,（13）
• 页码范围: 291-292,封3
• 分类号: TP309
• 字数: 4392字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2010.13.102

摘要

在卿-周逻辑(软件学报,2001年第9期)的基础上提出一种改进的逻辑分析方法,用于分析电子商务协议的安全性,如可追究性、公平性和原子性.该方法通过引入消息新鲜性机制,使被重放的消息可以被识别,重新定义可追究性的实现条件,使得在发生重放攻击时能正确分析各方的责任性,给出原子性目标并增加对原子性分析的方法,以实现对协议原子性的分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周清雷	郑州大学信息工程学院	109	475	10.0	16.0
2	席琳	郑州大学信息工程学院	4	11	1.0	3.0