收藏本站
《清华大学学报(自然科学版)》 2002年01期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

改进的加密协议形式化验证模型和算法

桑田  黄连生  张磊  
【摘要】:状态搜索技术是分析加密协议安全属性的最流行的形式化验证方法之一 ,Mur是一种常用的能分析一般性协议的模型工具 ,它的原理简明 ,但缺点是容易产生状态爆炸。为了克服这一问题 ,针对加密协议的特点 ,提出了改进模型和算法。根据协议的描述定义状态空间 ,建立以攻击者为核心的验证模型 ,使用搜索算法检测是否存在攻击者能完成攻击的不安全状态。在对通信过程、消息传递方式等方面改进后 ,搜索空间的可达状态数减少了很多 ,验证系统的效率显著提高

手机知网App
【引证文献】
中国期刊全文数据库 前1条
1 周宏斌,黄连生,桑田;基于串空间的安全协议形式化验证模型及算法[J];计算机研究与发展;2003年02期
中国博士学位论文全文数据库 前1条
1 李谢华;基于串空间模型的安全协议形式化验证方法的研究[D];上海交通大学;2007年
中国硕士学位论文全文数据库 前1条
1 赵剑;银行—商场实时联网POS增值系统[D];合肥工业大学;2002年
【同被引文献】
中国期刊全文数据库 前9条
1 韩德群,史斌宁;三层客户机/服务器体系在银行业务中的应用[J];电脑开发与应用;2001年02期
2 金庆华;TCP/IP传输层协议剖析[J];计算机与现代化;1998年01期
3 王海涛,郑少仁;TCP/IP拥塞控制机制的研究[J];中国数据通信;2002年02期
4 周宏斌,黄连生,桑田;基于串空间的安全协议形式化验证模型及算法[J];计算机研究与发展;2003年02期
5 陈庆锋,王驹,白硕,张师超,隋立颖;电子商务安全协议的逻辑验证[J];软件学报;2000年03期
6 罗军舟,seu.edu.cn,沈俊,顾冠群;从Petri网到形式描述技术和协议工程[J];软件学报;2000年05期
7 卿斯汉;安全协议的设计与逻辑分析[J];软件学报;2003年07期
8 卿斯汉;安全协议20年研究进展[J];软件学报;2003年10期
9 卿斯汉;认证协议两种形式化分析方法的比较[J];软件学报;2003年12期
【二级引证文献】
中国期刊全文数据库 前1条
1 吴立军,苏开乐;安全协议认证的形式化方法研究[J];计算机工程与应用;2004年17期
中国博士学位论文全文数据库 前5条
1 李援;安全协议代数证明方法研究[D];合肥工业大学;2007年
2 李梦君;安全协议形式化验证技术的研究与实现[D];国防科学技术大学;2005年
3 王焕宝;安全协议分析的形式化理论与方法[D];合肥工业大学;2006年
4 李谢华;基于串空间模型的安全协议形式化验证方法的研究[D];上海交通大学;2007年
5 龙士工;串空间理论及其在安全协议分析中的应用研究[D];贵州大学;2007年
中国硕士学位论文全文数据库 前4条
1 莫笑丽;基于strand空间模型的安全协议分析与设计方法研究[D];山东大学;2005年
2 刘靖;802.11i中安全协议的形式化验证[D];内蒙古大学;2006年
3 吴光伟;基于串空间的安全协议Athena分析方法的研究[D];桂林电子科技大学;2006年
4 张畅;基于多重集重写的密码协议形式化分析技术研究[D];解放军信息工程大学;2006年
【相似文献】
中国期刊全文数据库 前2条
1 张磊,桑田,黄连生,王新兵;从Woo-Lam协议到网络协议的抽象验证[J];计算机研究与发展;2001年08期
2 桑田,黄连生,张磊;改进的加密协议形式化验证模型和算法[J];清华大学学报(自然科学版);2002年01期
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026