- 通信协议的Promela语言建模与检测
- 点击次数：
- 发布时间： 2018-06-04
- 所属单位：智慧海洋与工程研究院
- 发表刊物：福建电脑
- 项目来源：教育部科技项目
- 关键字：通信协议；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
