论文部分内容阅读
介绍停等式ARQ协议的工作原理,并使用Promela对其进行建模,利用SPIN对所建模型进行检测,证明了所建模型具有停等式ARQ协议的性质。讨论对停等式ARQ协议进行攻击的方法,使用Promela语言对攻击者进行建模,并利用SPIN的图形界面工具XSPIN模拟了攻击过程,验证了攻击的有效性。
停等式ARQ协议的SPIN模型检测
【摘 要】
：
介绍停等式ARQ协议的工作原理,并使用Promela对其进行建模,利用SPIN对所建模型进行检测,证明了所建模型具有停等式ARQ协议的性质。讨论对停等式ARQ协议进行攻击的方法,使用Pr
【机 构】
：
福建工程学院生态环境与城市建设学院
【出 处】
：
福建工程学院学报
【发表日期】
：
2018年3期
其他文献
"桥头跳车"是高速公路建设中常见的通病之一.通过高速公路建设实践及经验总结,分别从地基沉降、路基填土压缩、路面结构层压缩及刚柔突变等因素,对产生桥头跳车病害的诱因进
针对电机和章动减速传动机构分体使用状态下,存在着结构不紧凑、使用不便利的问题,提出并设计一种非接触式章动减速电机。该设计是探索部分零件共用实现非接触式章动传动机构
分期装运是指信用证中货物各批次装运日期或期限已确定的分批装运。UCP600对分期装运有着明确的规定。然而规定过于简略,而实践中所发生的情况又较为复杂,有必要结合信用证法
针对长期以来重建设、轻养护致使许多桥梁缺少有效养护与监管的问题,提出了完善组织机构、设立专业养护队伍、严格桥梁检查制度、建立桥梁档案等来规范桥梁管养工作,并科学实