基于模型检测的不可靠环境下电子商务协议分析

摘要：

随着网络的大规模应用,电子商务协议的运行环境越来越不可靠.本文用模型检测的方法分析了不可靠环境下电子商务协议的安全性质.结果表明:安全的电子商务协议在不可靠环境下运行时有可能不再保持安全性质.当安全性质违背时,借助由自动验证工具UPPAAL生成的消息序列查找原因并对协议进行修改.经验证,修改后的协议在不可靠的环境下保持安全性质.

关键词：电子商务协议、不可靠环境、模型检测、原子性、UPPAAL

所属期刊栏目：29

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

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

页数：共4页

页码：82-84,123