Paper Publications

Hits:

Affiliation of Author(s):智慧海洋与工程研究院

Journal:福建电脑

Funded by:教育部科技项目

Key Words:通信协议；ARQ 协议；模型检测；SPIN；Promela

Abstract:通信协议的设计与分析是十分困难的工作。使用传统的方法已经难以保证协议设计的效率与质量，针对这一问题，提出了采用SPIN 模型检测技术对通信协议进行分析的方法。以停等式ARQ 协议为实例，抽象出它的模型并以Promela 语言进行实现。同时，对协议的安全属性进行了分析，并转化为线性时序逻辑公式进行自动验证。最后，分析了停等式ARQ 协议的缺陷，并在SPIN 模型检测器中进行了验证。

Note:2016年4月25日扬审核通过

Indexed by:Journal paper

Document Code:8083

Volume:32

Issue:3

Page Number:39-40,50

ISSN No.:1673-2782

Translation or Not:no

CN No.:35-1115/TP

Date of Publication:2016-03-25