附件论文：基于SMV 的滑动窗口协议的形式化建模与分析

 

摘要：本文采用模型检测的方法，在理想信道、信道可能丢失报文、受到入侵攻击这3种情况下，给出了滑动窗口协议的形式化模型，对协议的信息一致性、系统活性、信息完整性等系统属性，进行验证，最后根据实验结果，得出结论：该协议在不同情况下，各系统属性的表现是不同的；协议设计者可以通过SMV 提供的反例，找到协议的漏洞，提出应对方案。

发表期刊：科技论文在线

发表日期：2008年1月

转载本文请联系原作者获取授权，同时请注明本文来自赵也非科学网博客。
链接地址：https://blog.sciencenet.cn/blog-107188-207881.html

上一篇：基于pi 演算的UML 状态图的组装机制以及模型精化的验证
下一篇：个人主页