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

• 作者: 庄雷 张习勇 郭华
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 电子商务协议 模型检测 不可靠环境 多轮执行 UPPAAL
• 年，卷（期）: 2006,（33）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 142-145
• 页数: 4页
• 分类号: TP301.1
• 字数: 3334字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2006.33.044

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭华	郑州大学理论计算机研究所	172	1120	17.0	27.0
2	庄雷	郑州大学数学系	92	704	13.0	21.0
3	张习勇	郑州大学理论计算机研究所	2	2	1.0	1.0