收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

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

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

知网文化
【相似文献】
中国期刊全文数据库 前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