首页> 中文期刊>计算机科学 >公平非否认协议的有限状态分析

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机科学》|2005年第8期|83-86|共4页
作者
董荣胜; 陈大伟; 郭云川; 古天龙;
展开▼
作者单位

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

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

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

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

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
模型检测; SPIN; 非否认性; 公平性; 机密性;
入库时间 2022-09-01 14:20:16

相似文献

中文文献
外文文献
专利

1. 一种离线TTP公平非否认协议的安全性分析方法 [J] . 刘冬梅 ,卿斯汉 ,马恒太 . 计算机研究与发展 . 2011,第004期
2. 非否认协议公平性分析的扩展串空间方法 [J] . 李磊 ,陈静 ,王育民 . 西安交通大学学报 . 2010,第006期
3. ZG离线TTP公平非否认协议的一种新改进 [J] . 杨姗媛 ,朱建明 . 计算机应用研究 . 2010,第012期
4. 安全的公平非否认协议研究 [J] . 张曼君 ,裴昌幸 . 电信科学 . 2009,第012期
5. 一种提供证据一致性的离线TTP多方公平非否认协议 [J] . 刘冬梅 ,卿斯汉 . 中国通信 . 2009,第004期
6. ZG离线TTP公平非否认协议的安全性分析及改进 [C] . 刘冬梅 ,卿斯汉 ,李鹏飞 . 第二届中国计算机网络与信息安全学术会议 . 2009
7. 基于SET协议的电子商务公平非否认性的研究 [A] . 张振德 . 2010

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号