SET协议支付过程的符号模型检验

摘要：

电子商务协议的安全性是电子商务健康发展的关键.随着SET协议应用的日益广泛,其安全性受到了业界的极大关注.分析、寻找SET协议安全隐患或证明其安全性,将有助于协议的进一步应用和发展.将模型检测应用于分析SET协议,给出SET协议支付过程的形式化模型和有限状态机模型,以及协议安全属性的CTL公式,并在网络环境被入侵者控制的假设下,基于SMV符号模型检测工具对协议进行了分析.结果表明,SET协议拥有保密性、完整性、认证性等电子商务安全需求属性.

关键词：SET、建模、SMV、安全、检验

所属期刊栏目：25

分类号：TP311(计算技术、计算机技术)

在线出版日期：2005-09-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1-5