论文部分内容阅读
随着网络的大规模应用，越来越多的协议在并发的、不可靠的环境中执行。文章用有限自动机时FR协议建模．并用自动验证工具UPPAAL验证了多轮协议在可靠环境下的性质。重点验证了不可靠环境中多轮协议的执行情况．最后对协议进行了修改。
不可靠环境下多轮FR协议分析
【摘 要】
：
随着网络的大规模应用，越来越多的协议在并发的、不可靠的环境中执行。文章用有限自动机时FR协议建模．并用自动验证工具UPPAAL验证了多轮协议在可靠环境下的性质。重点验证了不
【机 构】
：
郑州大学理论计算机研究所,郑州大学数学系
【出 处】
：
计算机工程与应用
【发表日期】
：
2006年33期
其他文献
目的:通过人生长激素基因(hGH)逆转录病毒表达载体的构建,与体外表达为生长激素缺乏症(GHD)基因治疗的进一步体内研究奠定基础.方法:质粒PNMG3用EcoR I酶切,将约3.9kb的小鼠
基于套餐的状态特征,提出了一种套餐价值评估的新模型.新模型利用时间序列相似性原理,在已知全价值区间分布的套餐知识库中,寻找一个或若干个最近似的示例,然后综合这些示例