1. 首页
  2. 编程语言
  3. 其他
  4. 论文研究基于SMV的滑动窗口协议的形式化建模与分析 .pdf

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

上传者: 2020-04-12 06:12:41上传 PDF文件 467KB 热度 32次
基于SMV的滑动窗口协议的形式化建模与分析,赵也非,杨宗源,本文采用模型检测的方法,在理想信道、信道可能丢失报文、受到入侵攻击这3种情况下,给出了滑动窗口协议的形式化模型,对协议的��
用户评论