论文研究-基于SMV的滑动窗口协议的形式化建模与分析 .pdf

【文件属性】：

文件名称：论文研究-基于SMV的滑动窗口协议的形式化建模与分析 .pdf

文件大小：467KB

文件格式：PDF

更新时间：2022-09-07 23:15:28

网络协议

基于SMV的滑动窗口协议的形式化建模与分析，赵也非，杨宗源，本文采用模型检测的方法，在理想信道、信道可能丢失报文、受到入侵攻击这3种情况下，给出了滑动窗口协议的形式化模型，对协议的��