首页 | 本学科首页   官方微博 | 高级检索  
检索     
共有20条相似文献,以下是第1-20项 搜索用时 359 毫秒

1.  一种改进SVO逻辑的新方法  
   仇细平  缪祥华  杨晓婕《中国电子商情》,2009年第9期
   安全协议的形式化验证能有效检验安全协议的安全性,BAN类逻辑的发展极大的促进了这一领域的研究,而SVO逻辑是BAN类逻辑的佼佼者.本文通过增加和改进SVO逻辑的推理规则以及公理,提出了一种改进SVO逻辑的新方法,使其可以更好的分析认证协议.本文运用改进SVO逻辑对Needham-Schroeder认证协议进行形式化分析,发现改进的SVO逻辑能证明Needham-Schroeder认证协议能够达到预期目标.    

2.  NS对称密钥认证协议安全性分析  
   杜金辉  胡铭曾  张兆心《微计算机信息》,2008年第24卷第12期
   安全协议的形式化验证与分析已成为国际研究的热点.本文应用BAN逻辑研究Needham-Schroeder对称密钥认证协议,指出该协议存在的安全缺陷,利用消息新鲜性对其进行相应改进,并在BAN逻辑下形式化证明改进的协议可以满足安全目标.    

3.  BAN逻辑及其在认证协议性质分析中的应用研究  
   JIN Li-ping  GU Xiang  JI Li-na《数字社区&智能家居》,2008年第12期
   在各类安全协议中,认证协议分析正成为热点,BAN逻辑是近年来主要的认证协议分析工具之一。在分析了BAN逻辑主要规则和分析步骤之后,研究了BAN逻辑存在的各类缺陷,并对BAN类逻辑需要改进的方面进行了讨论。    

4.  基于改进 GNY 逻辑的 Kerberos *协议安全性分析磁  
   马成林  肖美华  邓春艳  朱科《计算机与数字工程》,2014年第10期
   为了增强通讯网络安全性,研究者致力于通讯协议的形式化分析与验证。 Abdelmajid 在 Kerberos 协议中添加用户物理位置作为新的认证因素得到改进协议,并用改进 BAN 逻辑说明改进协议的安全性。针对添加用户物理位置这一因素进一步完善后的协议 Kerberos *,结合可识别性和管辖性构造一种新的管辖规则,运用改进 GNY 逻辑对协议 Ker-beros *进行安全性分析。分析结果表明,协议 Kerberos *是安全的,运用改进 GNY 逻辑证明过程比改进 BAN 逻辑更详细、更严谨,此方法可运用于其它类似协议形式化分析。    

5.  BAN逻辑及其在协议认证中的缺陷  
   尚华  赵亮《数字社区&智能家居》,2011年第10期
   BAN逻辑可以证明协议是否能够达到预期目标,还能够发现协议中存在的一些缺陷。论文在分析了BAN逻辑的主要规则和分析步骤之后,着重研究了BAN逻辑存在的各类缺陷,并对BAN类逻辑需要改进的方面进行了讨论。    

6.  一种新的类BAN逻辑模态语义模型——兼论类BAN逻辑的语法缺陷  
   谢鸿波 周明天《计算机科学》,2006年第33卷第1期
   由于类BAN逻辑缺乏明确而清晰的语义,其语法规则和推理的正确性就受到了质疑。本文定义了安全协议的计算模型,在此基础上定义了符合模态逻辑的类BAN逻辑“可能世界”语义模型,并从语义的角度证明了在该模型下的类BAN逻辑语法存在的缺陷,同时,指出了建立或改进类BAN逻辑的方向。    

7.  CS逻辑的分析及改进  
   李丽 李正朝 秦静《山东工业大学学报》,2006年第36卷第5期
   较之以往的形式化分析工具BAN及BAN类逻辑,CS逻辑是一种将时间与逻辑结构相结合的逻辑,是第一个用来分析与时间相关的Timed—release公钥协议的逻辑,本文分析了原始Cs逻辑的某些推理规则的缺陷,并对其作了改进及扩展,使其能够更好地反映Timed-release公钥协议的特性,并对一个具体的Timed-release公钥协议用扩展后的推理规则进行了有效的形式化分析.    

8.  CS逻辑的分析及改进  
   李丽  李正朝  秦静《山东大学学报(工学版)》,2006年第36卷第5期
   较之以往的形式化分析工具BAN及BAN类逻辑,CS逻辑是一种将时间与逻辑结构相结合的逻辑,是第一个用来分析与时间相关的Timed--release公钥协议的逻辑,本文分析了原始CS逻辑的某些推理规则的缺陷,并对其作了改进及扩展,使其能够更好地反映Timed--release公钥协议的特性,并对一个具体的Timed-release公钥协议用扩展后的推理规则进行了有效的形式化分析.    

9.  基于BAN逻辑的SIP网络认证协议安全性研究  
   张兆心  杜跃进  方滨兴  张宏莉《高技术通讯》,2010年第20卷第11期
   利用BAN逻辑对会话初始化协议(SIP)网络采用的超文本传输协议(HTTP)摘要认证协议进行了形式化分析和推导.通过严格的逻辑推导,证明HTTP摘要认证协议存在不足,以及由此产生的伪装攻击.通过对逻辑推理结果和推导过程的分析,针对BAN逻辑提出增加消息抗否认性规则和消息新鲜性传递规则,增强了BAN逻辑的逻辑推理能力;针对HTTP摘要认证协议提出增加数字签名、公私钥机制、双向认证和密钥协商,提高了HTIP摘要证协议的安全性.    

10.  认证协议的形式逻辑分析方法——BAN类逻辑综述  被引次数:1
   束妮娜  王亚弟《计算机应用研究》,2002年第19卷第9期
   介绍了最早的认证协议形式化分析方法———BAN逻辑及扩展的BAN逻辑 ,统称为BAN类逻辑。并通过分析比较 ,指出了各种扩展的BAN逻辑对原BAN逻辑的扩展和改进之处。    

11.  类BAN逻辑的两个重要缺陷  
   张萌  许剑卓  左英男《计算机工程》,2000年第26卷第7期
   类BAN逻辑通常都分析了BAN逻辑的缺陷并相应地发展了自己的推理法则,在BAN逻辑的缺陷中最受关注的是消息可识别性问题和密钥保密性问题。文重新对这两个总理2进行分析并指出以前类BAN逻辑中对这两个缺陷的理解是错误的,并把这两个缺陷归结为消息不可仿造问题和信任模型总理2,同时指出进上步泮则类BAN逻辑应解决的问题。    

12.  电子证据与反拒认协议及形式化分析  
   袁丁  范平志《电子科技大学学报(自然科学版)》,2004年第33卷第5期
   反拒认是实现电子商务的一个重要前提条件.基于可信的第三方提出了一个面向传输的电子证据与反拒认协议TEENP,解决了收方和发方的拒认问题.扩充了类BAN信任逻辑的语义和逻辑推理规则,并用信任逻辑BAN对其进行了形式化分析.与相关协议相比,本协议是公平的、安全的和高效的.    

13.  IEEE 802.1X的安全性分析及改进  
   周超  周城  郭亮《计算机应用》,2011年第31卷第5期
   IEEE 802.1X标准存在一些设计缺陷,为消除拒绝服务攻击(DoS)、重放攻击、会话劫持、中间人攻击等安全威胁,从状态机运行角度对协议进行了分析,指出产生这些问题的根源在于协议状态机的不平等和不完备,缺乏对消息完整性和源真实性的保护。提出并实现了一种双向挑战握手及下线验证的改进方案,并用一种改进的BAN逻辑对其进行了形式化分析。经验证,该方案能有效抵御上述安全威胁。    

14.  一种高可靠的无线射频识别群组标签认证协议  
   左开中  潘涛  郭良敏  罗永龙《计算机工程》,2013年第39卷第2期
   现有的无线射频识别群组标签认证协议无法抵御阅读器重放攻击,且可靠性低。为此,提出一种改进的认证协议。其中,对标签和阅读器的身份进行双向合法性验证,每个标签与阅读器独立通信,标签之间无需信息传递,由此提高协议安全性,使其可以抵御重放攻击。基于BAN逻辑的形式化分析结果验证了该协议的正确性和安全性。    

15.  “对BAN逻辑中新鲜子的研究”的注记  被引次数:3
   袁丁  范平志  何明星《电子与信息学报》,2002年第24卷第8期
   该文通过一个反例说明,宋荣功等“对BAN逻辑中新鲜子的研究”中关于BAN逻辑新鲜子规则条件过于严格,可能把一个安全的协议分析成不安全的协议。    

16.  无线局域网密钥协商协议安全性分析与改进  
   赵玉娟  张浩军  秦兴桥《通信技术》,2007年第40卷第11期
   分析了中国无线局域网标准中无线鉴别基础设施WAI(WLAN Authentication Infrastructure),指出其中密钥协商协议缺乏密钥确认、易遭受拒绝服务攻击等安全问题。提出了一种采用三次握手和带消息认证的密钥协商协议,以及周期密钥更新协议.使用BAN逻辑对提出的改进密钥协商协议进行形式化分析,验证了其正确性.与WAI比较,提出的协议具有较少的交互性,提供了消息鉴别并具有抗拒绝服务攻击能力。    

17.  WAPI安全接入过程的形式化验证  
   秦建丰  郝黎明  薛质《信息技术》,2006年第30卷第1期
   WAPI协议是我国自行制定的无线局域网国家标准。在对其中WAI的安全接入过程深入研究的基础上,使用BAN逻辑对该过程进行了形式化的分析和验证。验证结果表明协议中存在着安全漏洞,文章最后针对这些安全漏洞提出了一些改进的建议。    

18.  Otway Rees协议的安全分析  
   曾子维  李鹏  孙学波《计算机应用与软件》,2006年第23卷第2期
   互联网的迅速发展引起人们对协议安全性的关注,现在国际上流行安全协议的分析方法集中在形式化验证方面,其中BAN逻辑是一种方法。本文通过使用BAN逻辑证明Otway Rees协议的安全性,同时也得出BAN逻辑在证明协议安全性方面的一些缺陷。    

19.  一种BAN—逻辑的修正  被引次数:2
   郑东 王常杰《电子科学学刊》,2000年第22卷第4期
   本文指出了BAN-逻辑推理中存在的逻辑错误,提出了一种改进的BAN-逻辑,它具有精确的语义定义和正确的推理规则,当协议的初始条件正确时,逻辑推理的结论是正确的。    

20.  一种BAN-逻辑的修正  
   郑东  王常杰  王育民《电子与信息学报》,2000年第22卷第4期
   本文指出了BAN-逻辑推理中存在的逻辑错误,提出了一种改进的BAN-逻辑。它具有精确的语义定义和正确的推理规则,当协议的初始条件正确时,逻辑推理的结论是正确的.    

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号