首页> 中文期刊> 《计算机工程与应用》 >不可靠环境下多轮FR协议分析

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

AI论文写作 >>

开具论文收录证明 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

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

著录项

来源
《计算机工程与应用》 |2006年第33期|142-145|共4页
作者
郭华; 庄雷; 张习勇;
展开▼
作者单位

郑州大学理论计算机研究所;

郑州450052;

郑州大学数学系;

郑州450052;

展开▼
原文格式 PDF
正文语种 chi
中图分类自动机理论;
关键词
电子商务协议; 模型检测; 不可靠环境; 多轮执行; UPPAAL;

相似文献

中文文献
外文文献
专利

1. 基于模型检测的不可靠环境下电子商务协议分析 [J] . 马怀磊 ,郭华 ,庄雷 . 计算机工程与科学 . 2007,第010期
2. 不可靠网络环境下的网联汽车队列稳定性仿真分析 [J] . 郭迎 ,宋晓鹏 ,梁睿琳 . 电子设计工程 . 2021,第015期
3. 广电媒体如何在不可靠的网络环境下实现高可靠性的移动直播 [J] . 李荣华 ,秦磊 . 现代电视技术 . 2019,第003期
4. 继电器在高温环境下动作不可靠性分析与电路改造性设计 [J] . 钟光林 . 电子世界 . 2019,第015期
5. 不可靠通信环境下无线传感器网络最小能耗广播算法∗ [J] . 程红举 ,黄行波 ,XIONG Naixue . 软件学报 . 2014,第005期
6. 不可靠网络环境下的数字时间戳服务研究 [C] . 常朝稳 ,陈俊峰 ,秦晰 . 第四届中国计算机网络与信息安全学术会议(CCNIS2011) . 2011
7. 供应不可靠环境下考虑库龄差异的血液供应链优化研究 [A] . 赵康利 . 2018

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号