收藏本站
《计算机工程与应用》 2001年14期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

安全协议形式化验证方法的比较与分析

黄连生  王新兵  谢峰  杨克  
【摘要】:网络的飞速发展,使得安全问题日益突出,而身份认证协议则是安全性的基础。目前国际上的热点是安全协议的形式化验证。文章从两个角度介绍安全协议形式化验证的方法:证明与证伪。对其各自特点进行比较与分析。

【引证文献】
中国硕士学位论文全文数据库 前2条
1 莫笑丽;基于strand空间模型的安全协议分析与设计方法研究[D];山东大学;2005年
2 马小龙;形式化验证在Office安全中的应用研究[D];中国人民解放军信息工程大学;2005年
【同被引文献】
中国期刊全文数据库 前6条
1 周宏斌,黄连生,桑田;基于串空间的安全协议形式化验证模型及算法[J];计算机研究与发展;2003年02期
2 杨晋吉,苏开乐;电子商务中安全协议的验证方法[J];计算机工程与应用;2003年19期
3 卿斯汉;安全协议的设计与逻辑分析[J];软件学报;2003年07期
4 卿斯汉;安全协议20年研究进展[J];软件学报;2003年10期
5 王海峰,吕永波,张仲义;一种系统安全性的形式化验证方法[J];计算机工程与应用;2003年04期
6 刘文清,卿斯汉,刘海峰;一个修改BLP安全模型的设计及在SecLinux上的应用[J];软件学报;2002年04期
【相似文献】
中国期刊全文数据库 前2条
1 田瑞芬,关西普;对现代科技企业家的素质要求[J];科学学与科学技术管理;1996年11期
2 黄连生,王新兵,谢峰,杨克;安全协议形式化验证方法的比较与分析[J];计算机工程与应用;2001年14期
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026