公平非否认协议的有限状态分析

计算机科学 ›› 2005, Vol. 32 ›› Issue (8): 83-86.

公平非否认协议的有限状态分析

董荣胜陈大伟郭云川古天龙

桂林电子工业学院计算机系,桂林541004

出版日期:2018-11-17 发布日期:2018-11-17
基金资助:
本文得到广西自然科学基金项目（编号：桂科自0229051）资助.

Dong RongSheng;Chen DaWei;Guo YunChuan;Gu TianLong

Online:2018-11-17 Published:2018-11-17

摘要/Abstract

摘要： 本文针对公平非否认协议给出了一种基于有限状态自动机的分析模型，并使用SPIN模型检测工具，对Zhou-Gollmann非否认协议进行了分析，结果发现该协议不满足公平性和机密性．为此对该协议进行了改进。

关键词: 模型检测 SPIN 非否认性公平性机密性有限状态自动机非否认协议状态分析检测工具模型

Abstract: A model based on finite state automaton is proposed for a fair non-repudiation protocol. The Zhou-Gollmann fair non-repudiation protocol is analyzed with using model checker SPIN. The results show that the protocol isn＇t satisfied with fairness and confid

Key words: Model checking, SPIN, Nonrepudiation, Fairness, Confidentiality

董荣胜陈大伟郭云川古天龙. 公平非否认协议的有限状态分析[J]. 计算机科学, 2005, 32(8): 83-86. https://doi.org/

Dong RongSheng;Chen DaWei;Guo YunChuan;Gu TianLong. [J]. Computer Science, 2005, 32(8): 83-86. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed