节点文献

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

Finite-state Analysis of a Fair Non-repudiation Protocol

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 董荣胜； 陈大伟； 郭云川； 古天龙；

【Author】 DONG Rong-Sheng;CHEN Da-Wei;GUO Yun-Chuan;GU Tian-Long Department of Computer, Guilin University of Electronic Technology, Guilin 541004

【机构】 桂林电子工业学院计算机系； 桂林电子工业学院计算机系 桂林 541004； 桂林 541004；

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

【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 satis- fied with fairness and confidentiality. Finally, some improvements are given for this protocol.

【关键词】 模型检测； SPIN； 非否认性； 公平性； 机密性；
【Key words】 Model checking； SPIN； Nonrepudiation； Fairness； Confidentiality；
【基金】 广西自然科学基金(编号:桂科自0229051)
  • 【文献出处】 计算机科学 ,Computer Science , 编辑部邮箱 ,2005年08期
  • 【分类号】TP393.04
  • 【被引频次】9
  • 【下载频次】52
打印本页
节点文献中：