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

摘要：

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

关键词：模型检测、SPIN、非否认性、公平性、机密性

所属期刊栏目：32

分类号：TP3(计算技术、计算机技术)

资助基金：广西自然科学基金桂科自0229051

在线出版日期：2005-10-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：83-86