10.3969/j.issn.1007-130X.2009.09.005
一种增强电子商务协议安全性的形式化分析方法
本文用半规则实体代表参与协议并为其利益驱动协议的实体,基于此设想给出一种在串空间模型中的形式化方法.引入Hash和Diffie-Hellman Exchange的案例,在模型中加入半规则串和半规则节点.最后,找到一种对因特网密钥交换(IKE)协议的攻击.
半规则实体、串空间、TLS、IKE
31
TP393(计算技术、计算机技术)
国家自然科学基金资助项目60873078;华南理工大学研究生重点课程建设项目B07Y3080020;校精品课程x2rj-Y1080150,Y1080160
2009-10-23(万方平台首次上网日期,不代表论文的发表时间)
共4页
13-16