不可靠环境下多轮FR协议分析

摘要：

随着网络的大规模应用,越来越多的协议在并发的、不可靠的环境中执行.文章用有限自动机对FR协议建模,并用自动验证工具UPPAAL验证了多轮协议在可靠环境下的性质.重点验证了不可靠环境中多轮协议的执行情况,最后对协议进行了修改.

关键词：电子商务协议、模型检测、不可靠环境、多轮执行、UPPAAL

所属期刊栏目：42

分类号：TP301.1(计算技术、计算机技术)

资助基金：国家自然科学基金69873040;河南省教育厅基础研究项目2003520256

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

页数：共4页

页码：142-145