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

【文件属性】：
文件名称：论文研究-基于SMV的滑动窗口协议的形式化建模与分析 .pdf
文件大小：467KB
文件格式：PDF
更新时间：2022-09-07 23:15:28
网络协议 基于SMV的滑动窗口协议的形式化建模与分析，赵也非，杨宗源，本文采用模型检测的方法，在理想信道、信道可能丢失报文、受到入侵攻击这3种情况下，给出了滑动窗口协议的形式化模型，对协议的��