检索结果-维普期刊中文期刊服务平台

一种可检测类型缺陷攻击的SAT改进模型被引量：1: 1; 作者杨元原马文平 +1 位作者刘维博白晓峰《沈阳工业大学学报》 EI CAS 2011年第4期422-427,共6页; 针对现有SAT模型检测器不能检测类型缺陷攻击的问题,提出了一种新的SAT#改进模型.该模型通过在匹配模式下引入无类型变量,并利用无类型消息的概念,解除了SAT模型检测器对未知消息的类型限制,并且在诚实主体重写规则中用无类型消息替换... 展开更多; 关键词安全协议形式化分析模型检测重写规则类型缺陷攻击匹配模式图形编码满足性问题; 在线阅读下载PDF 职称材料

基于SAT的安全协议惰性形式化分析方法被引量：2: 2; 作者顾纯祥王焕孝 +2 位作者郑永辉辛丹刘楠《通信学报》 EI CSCD 北大核心 2014年第11期117-125,共9页; 提出了一种基于布尔可满足性问题的安全协议形式化分析方法 SAT-LMC,通过引入惰性分析的思想优化初始状态与转换规则,提高了安全性的检测效率。另一方面,通过在消息类型上定义偏序关系,SAT-LMC能够检测出更丰富的类型缺陷攻击。基于此... 展开更多; 关键词安全协议形式化分析布尔可满足性惰性分析类型缺陷攻击; 在线阅读下载PDF 职称材料

对Yahalom-Paulson协议的分析与改进被引量：1: 3; 作者陆超周颢赵保华《中国科学技术大学学报》 CAS CSCD 北大核心 2010年第1期98-102,共5页; 对原始Yahalom-Paulson协议和Backes与Pfitzmann的简化Yahalom-Paulson协议进行分析,指出各自协议中存在的漏洞.原始协议中存在类型缺陷攻击,简化协议中存在重放攻击导致协议参与实体间会话密钥不一致.对Yahalom-Paulson协议作出改进并... 展开更多; 关键词 Yahalom-Paulson协议类型缺陷攻击串空间; 在线阅读下载PDF 职称材料