点击次数：
所属单位：智慧海洋与工程研究院
发表刊物：福建电脑
项目来源：教育部科技项目
关键字：通信协议；ARQ 协议；模型检测；SPIN；Promela
摘要：通信协议的设计与分析是十分困难的工作。使用传统的方法已经难以保证协议设计的效率与质量，针对这一问题，提出了采用SPIN 模型检测技术对通信协议进行分析的方法。以停等式ARQ 协议为实例，抽象出它的模型并以Promela 语言进行实现。同时，对协议的安全属性进行了分析，并转化为线性时序逻辑公式进行自动验证。最后，分析了停等式ARQ 协议的缺陷，并在SPIN 模型检测器中进行了验证。
备注：2016年4月25日扬审核通过
论文类型：期刊论文
论文编号：8083
卷号：32
期号：3
页面范围：39-40,50
ISSN号：1673-2782
是否译文：否
CN号：35-1115/TP
发表时间：2016-03-25