一种增强电子商务协议安全性的形式化分析方法

摘要：

本文用半规则实体代表参与协议并为其利益驱动协议的实体,基于此设想给出一种在串空间模型中的形式化方法。引入Hash和Diffie-Hellman Exchange的案例,在模型中加入半规则串和半规则节点。最后,找到一种对因特网密钥交换(IKE)协议的攻击。

关键词： 半规则实体 串空间 电子商务 利益驱动协议

作者: 杨捷 毋国庆 左保河 齐德昱

作者单位: 华南理工大学软件学院,广东,广州,510006;华南理工大学计算机学院,广东,广州,510006 武汉大学计算机学院,湖北,武汉,430072

会议类型: 国内会议

会议名称: 2009年全国理论计算机科学学术年会

会议地点: 哈尔滨

会议语种:中文

页码: 13-16

在线出版日期: 2009-08-07（万方平台首次上网日期，不代表论文的发表时间）