公平交换协议公平性的串空间分析方法

【摘要】：公平交换协议的结构常常比较复杂,可能由多个子协议组合而成,并不一定按顺序结构执行协议。因此,公平交换协议的公平性分析需要选择适宜的形式化方法。扩展了串空间逻辑,利用扩展后的串空间轨迹图分析了在线TTP类型协议的公平性;利用扩展的发送边和主动测试定理,对离线TTP类型协议的公平性进行了分析,分别提供了具有可信第三方参与的两种主要类型的公平交换协议公平性的形式化分析方法。

下载App查看全文

下载全文更多同类文献

PDF全文下载

CAJ全文下载

(如何获取全文？欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式，AdobeReader仅支持PDF格式

	【相似文献】
	【相似文献】

中国期刊全文数据库

前1条

1	颜铁成;约束右端含多个随机变量的分布问题[J];苏州科技学院学报(社会科学版);1987年S1期

中国重要会议论文全文数据库

前3条

1	王彩芬;葛建华;;基于RSA和盲签名的高效的公平交换协议[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年
2	解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
3	郭华;庄雷;;电子商务协议的形式化验证方法及FR验证实例[A];2005年全国理论计算机科学学术年会论文集[C];2005年

中国博士学位论文全文数据库

前5条

1	伊丽江;代理签名体制及其应用研究[D];西安电子科技大学;2000年
2	沈炜;用于公平交换的若干协议和规范的研究与应用[D];浙江大学;2003年
3	周永彬;PKI理论与应用技术研究[D];中国科学院研究生院（软件研究所）;2004年
4	王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
5	邢育红;公平交换协议分析方法研究[D];山东大学;2005年

中国硕士学位论文全文数据库

前10条

1	李平;电子商务中公平数据交换协议的设计与实现[D];中国人民解放军国防科学技术大学;2003年
2	李艳平;不可否认协议及其应用的研究[D];陕西师范大学;2004年
3	刘学锋;安全协议形式化分析及其应用[D];湘潭大学;2004年
4	严亚俊;盲群签名与公平交换协议的研究[D];西安电子科技大学;2005年
5	吴瑞龙;一种基于有色Petri网模型的安全协议检测技术的研究[D];广西大学;2005年
6	孙守卿;基于模型检测工具SPIN的安全协议分析和验证[D];兰州大学;2006年
7	杜红珍;不可否认协议及其逻辑验证[D];陕西师范大学;2006年
8	程娜;基于Strand Space模型的安全协议形式化分析研究[D];西南交通大学;2006年
9	滕玲莹;串空间方法分析安全协议[D];电子科技大学;2006年
10	王芷玲;网络安全协议形式化分析技术研究[D];西安电子科技大学;2006年

	快捷付款方式		订购知网充值卡	订购热线	帮助中心
	微信支付支付宝银行卡	知网卡在线购卡更多>>	免费送卡上门银行汇款购卡邮局汇款购卡	400-819-9993 010-62982499 010-62783978	常见问题在线咨询阅读器下载	充值中心知网卡新手指南