期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

一种新的公平可追究协议

下载PDF

导出

摘要在研究借鉴一种可追究协议NCP的基础上，提出一种新的公平可追究协议．经过使用改进的Kailor逻辑分析验证，新的协议满足可追究和公平性原则，且可以工作在不安全和不可靠的信道上．

作者文静华李祥

机构地区贵州财经学院信息学院贵州大学计算机软件与理论研究所

出处《武汉大学学报（理学版）》 CAS CSCD 北大核心 2004年第A01期167-170,共4页 Journal of Wuhan University:Natural Science Edition

关键词 NCP协议可追究性公平性 KAILAR逻辑

分类号 TP309 [自动化与计算机技术—计算机系统结构]

引文网络
相关文献

1徐洋,汪学明,谢晓尧.一个新的电子支付协议及其形式化分析[J].计算机应用与软件,2008,25(9):93-94. 被引量：1
2文静华,田建强,李祥.一个新的公平非否认协议[J].计算机工程,2006,32(2):132-134. 被引量：4
3李艳平,张建中.一种基于混合密码体制的不可否认协议及其形式化分析[J].中国科学院研究生院学报,2004,21(2):185-190. 被引量：2
4周展飞,周典萃,王贵林,卿斯汉.电子商务协议的公平性[J].电子学报,2000,28(9):13-15. 被引量：10
5余昭平,张岚.改进的Kailar逻辑在协议分析中的应用[J].计算机工程与应用,2005,41(32):118-120. 被引量：2
6石曙东,李之棠.Kailar逻辑的缺陷及改进[J].计算机工程与设计,2004,25(6):853-855. 被引量：1
7赵娟,郭平,王玉柱.SET协议的可追究性分析与改进[J].后勤工程学院学报,2008,24(1):58-61. 被引量：1
8周典萃,卿斯汉,周展飞.Kailar逻辑的缺陷[J].软件学报,1999,10(12):1238-1245. 被引量：29
9缪祥华,何大可.Kailar逻辑的串空间语义[J].计算机科学,2006,33(3):87-88.
10王彩芬,葛建华.一种分析电子商务协议的新方法[J].计算机学报,2004,27(4):507-515. 被引量：10

武汉大学学报（理学版）

2004年第A01期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部