一种离线TTP公平非否认协议的安全性分析方法

CORC > 北京大学 > 软件与微电子学院

	一种离线TTP公平非否认协议的安全性分析方法; A Kind of Analysis Method of Off-Line TTP Fair Non-Repudiation Protocol
	刘冬梅 ; 卿斯汉 ; 马恒太 ; 李树仁
刊名	计算机研究与发展
	2011
关键词	离线TTP 公平非否认协议公平性非否认性时效性
英文摘要	给出了一种离线TTP公平非否认协议的分析方法,离线TTP公平非否认协议得到了广泛的研究,针对离线TTP公平非否认协议的分析并不是那么广泛.针对离线TTP公平非否认协议具有协议簇的特点,将协议实例化,实例化后可以对单个协议实例的非否认性和有效性进行分析;通过扩展Kailar逻辑,增加时间相关限定词来表述协议的执行序列,用协议执行序列来表达和分析协议的公平性和时效性.利用该方法,对两种公平非否认协议进行分析,分析的结果表明CCD不符合公平性,而ZG的时效性不能够得到满足.; 国家自然科学基金; 国家科技支撑计划重点项目; 中国科学院知识创新工程重要项目; 中文核心期刊要目总览(PKU); 中国科技核心期刊(ISTIC); 中国科学引文数据库(CSCD); 0; 4; 656-665; 48
语种	中文
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/222127]
专题	软件与微电子学院
推荐引用方式 GB/T 7714	刘冬梅,卿斯汉,马恒太,等. 一种离线TTP公平非否认协议的安全性分析方法, A Kind of Analysis Method of Off-Line TTP Fair Non-Repudiation Protocol[J]. 计算机研究与发展,2011.
APA	刘冬梅,卿斯汉,马恒太,&李树仁.(2011).一种离线TTP公平非否认协议的安全性分析方法.计算机研究与发展.
MLA	刘冬梅,et al."一种离线TTP公平非否认协议的安全性分析方法".计算机研究与发展 (2011).