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

• 作者: 董荣胜 陶玲妹
• 来源期刊: 桂林电子工业学院学报
• 学科: 工学
• 关键词: SET 建模 SMV 安全 检验
• 年，卷（期）: 2005,（4）
• 所属期刊栏目: 学术论文
• 页码范围: 1-5
• 页数: 5页
• 分类号: TP311
• 字数: 4353字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-808X.2005.04.001

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董荣胜	桂林电子工业学院计算机系	115	1521	13.0	37.0
2	陶玲妹	桂林电子工业学院计算机系	1	8	1.0	1.0