作者:陶玲妹; 董荣胜set建模smv安全检验
摘要:电子商务协议的安全性是电子商务健康发展的关键.随着SET协议应用的日益广泛,其安全性受到了业界的极大关注.分析、寻找SET协议安全隐患或证明其安全性,将有助于协议的进一步应用和发展.将模型检测应用于分析SET协议,给出SET协议支付过程的形式化模型和有限状态机模型,以及协议安全属性的CTL公式,并在网络环境被入侵者控制的假设下,基于SMV符号模型检测工具对协议进行了分析.结果表明,SET协议拥有保密性、完整性、认证性等电子商务安全需求属性.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《桂林电子科技大学学报》(CN:45-1351/TN)是一本有较高学术价值的大型双月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《桂林电子科技大学学报》主要刊载信息与通信工程、信号与信息处理、计算机应用技术、仪器科学与技术、控制理论与控制工程、机械设计制造及其自动化、电磁场与微波技术、机械电子工程、工业艺术设计、材料加工工程、信息与计算科学、应用数学、工商管理等方面的学术论文。
杂志详情