| 基于串空间模型的电子商务协议的形式化分析 |
| |
| 引用本文： | 邢育红,卜凡金,李大兴.基于串空间模型的电子商务协议的形式化分析[J].计算机工程与应用,2006,42(3):123-126,145. |
| |
| 作者姓名： | 邢育红 卜凡金 李大兴 |
| |
| 作者单位： | 山东大学网络信息安全研究所,济南,250100;山东交通学院,济南,250023;山东数字证书认证管理有限公司,济南,250011;山东大学网络信息安全研究所,济南,250100 |
| |
| 摘 要： | 采用形式化方法分析安全协议是协议分析的有效手段,近年来,出现了众多的研究方法。串空间模型是一种新兴的密码协议形式化分析工具。文章基于串空间模型,扩展了认证测试方法,使之能够描述和分析电子商务协议。并用该方法对一个具体的协议进行了形式化分析,得到了与以往文献相同的结论。
|
| 关 键 词： | 串空间 认证测试 形式化分析 交换协议 |
| 文章编号： | 1002-8331-（2006）03-0123-04 |
| 收稿时间： | 2005-10 |
| 修稿时间： | 2005-10 |
Formal Analysis to E-commerce Protocol Based on Strand Space |
| |
| Xing Yuhong,Bu Fanjin,Li Daxing.Formal Analysis to E-commerce Protocol Based on Strand Space[J].Computer Engineering and Applications,2006,42(3):123-126,145. |
| |
| Authors: | Xing Yuhong Bu Fanjin Li Daxing |
| |
| Abstract: | Using formal method to analyze security protocol is a valid method to the analysis of security protocols.In recent years,a lot of formal methods appeared.Strand space model is a new formal analysis tool to the analysis of cryptogram protocol.Based on strand space,we extend the authentication tests method.Using this method,E-commerce protocol can be described and analyzed.We apply it to the analysis of ASW protocol and find all attacks appeared in former literatures. |
| |
| Keywords: | strand space authentication tests formal analysis exchange protocol |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
