基于串空间的安全协议形式化分析研究  CNKI文献

安全协议是信息安全领域的重要组成部分,随着新兴技术的快速发展,安全协议变得越来越复杂,给安全协议的形式化分析带来了挑战。近年来,基于串空间理论的形式化分析方法是一个研究热点,...

姚萌萌 唐黎... 《信息网络安全》 2020年02期 期刊

一种抗去同步的轻量级RFID双向认证协议  CNKI文献

轻量级的射频识别(radio frequency identification, RFID)协议常采用同步更新机制以避免位置隐私的泄露,但却带来了去同步攻击的问题。去同步攻击使得标签与数据库同步更新的秘密数据不一致,导致标签永久失效。...

代新敏 谢晓尧 《山东大学学报(理学版)》 2019年05期 期刊

一种改进的基于认证测试的形式化分析方法  CNKI文献

近年来,认证测试定理得到了改进,并应用于各种安全协议的分析。但是这些改进定理在应用范围和准确性方面存在一定的缺陷。针对这些缺陷,文章提出了一种改进的输入测试定理及加密测试定理,并给出了改进定理的证明...

姚萌萌 朱正超... 《信息网络安全》 2019年01期 期刊

安全协议抗DoS攻击的形式化分析研究  CNKI文献

随着拒绝服务攻击给协议的可用性带来的危害越来越大,需要行之有效的方法对安全协议的抗DoS性进行分析.但是目前对安全协议的抗DoS性进行分析的方法模型都存在一些缺陷,有的只能分析部分的DoS攻击,...

高强 林星辰... 《四川大学学报(自然科学版)》 2018年06期 期刊

移动支付协议的形式化分析与研究  CNKI文献

随着移动设备的普及和移动互联网技术的提升,移动电子商务以其便利性、快捷性等优势覆盖了用户生活的各个领域。移动支付,作为移动商务的重要应用之一,也是移动金融的主要工具,有必要对其在相关领域做深入研究。同时,...

李茜 导师:王峥 太原理工大学 2018-06-01 硕士论文

面向无线网络的多服务器安全协议研究  CNKI文献

随着网络与信息技术的飞速发展,各种基于互联网的应用深入到人们生活的各个方面。人们的日常事务、商业模式和娱乐生活已经从传统的“面对面交互”方式发展为“在线业务”。在线购物、在线娱乐、在线医疗、在线教育等...

熊玲 导师:彭代渊 西南交通大学 2018-03-18 博士论文

基于时间自动机的移动支付协议的形式化验证及实例  CNKI文献

随着移动支付的广泛应用,移动支付协议作为安全性的重要保障,已经成为了学术界的研究热点之一。为了保证移动支付协议的安全性和正确性,需要对移动支付协议进行形式化分析、建模和验证...

吴格格 导师:庄雷 郑州大学 2016-05-01 硕士论文

智能化电视网络安全协议的验证方法综述  CNKI文献

在有线电视网络领域,安全的网络通信协议是信息安全传输的保障,因此研究有效的协议安全性验证方法显得至关重要。当前,随着互联网的普及,数字电视的双向化、智能化趋势日益明显,处于互联网中...

张兴 韩冬... 《电视技术》 2015年23期 期刊

一种协议抗拒绝服务的形式化分析方法研究  CNKI文献

针对安全协议中存在的拒绝服务(DoS)攻击,在串空间模型基础上,引入代价函数和节点相关度集合,使串空间模型能够全面、有效地分析安全协议是否存在拒绝服务攻击。利用该模型对IEEE802.11i握手...

金大鹏 林宏刚 《成都信息工程学院学报》 2015年05期 期刊

一种分析和改进安全协议的新方法  CNKI文献

分析安全协议的执行过程,给出驱动模块(Driving Module,DM)的定义,利用串空间模型构建常规DM和攻击DM,由此给出一种基于驱动模块的模型检验方法。理论分析显示,该方法搜索广度和深度完善,能避免状态空

肖跃雷 朱志祥... 《西安邮电大学学报》 2015年05期 期刊

一种分析会话密钥分配协议的新方法  CNKI文献

通过对协议执行过程的分析,给出了驱动模块(Driving Module,DM)的定义。然后,结合串空间模型构建了常规者DM和攻击者DM,并在此基础上提出了一种分析会话密钥分配协议的新攻击构造法——基于DM的模型...

肖跃雷 朱志祥... 《计算机与数字工程》 2015年07期 期刊

基于串空间理论的安全协议自动验证  CNKI文献

针对目前串空间理论依赖分析人员主观判断、无法使用自动化工具进行验证的问题,提出了基于串空间理论的协议认证属性标准化验证过程。首先为协议消息项定义类型标签,对串空间及认证测试...

刘家芬 《计算机应用》 2015年07期 期刊

移动云计算环境下的可信接入协议研究  CNKI文献

随着云计算的蓬勃发展,越来越多的终端用户在云端使用计算和存储资源,为云计算带来了大量的访问认证请求,随之各种安全问题接踵而来,通过对终端用户的身份认证成为解决云计算安全问题的重要途径。目前,对...

常亚楠 导师:张志勇 河南科技大学 2015-06-01 硕士论文

基于串空间模型的认证测试方法  CNKI文献

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有...

张玲玲 谢圣献... 《聊城大学学报(自然科学版)》 2015年01期 期刊

物联网安全协议形式化分析与验证  CNKI文献

物联网技术在各行各业应用越来越广泛,对物联网技术的研究也越来越多。随着物联网技术中硬件和软件的广泛应用,安全问题也日益突出。对消息传递中的通信主体进行身份验证,对传输的数据进行保密,是物联网技术发展...

张玲玲 导师:谢圣献 聊城大学 2015-03-01 硕士论文

基于间接认证链的输入测试证明方法  CNKI文献

针对无法运用认证测试方法中的输入测试对Yahalom协议进行验证的问题,提出一种基于间接认证链的输入测试证明方法。该方法引入间接一致性的概念,解决了Yahalom协议中存在的不完整的挑战-应答机制和输入测...

代凯 邓珍荣 《桂林电子科技大学学报》 2015年01期 期刊

一种适用于嵌套加密协议分析的强认证测试方法  CNKI文献

认证测试是一种新型的在串空间模型基础上提出来的用于分析协议认证属性的形式化方法,该方法因简单实用而受到学者的广泛关注,但其不能分析协议中认证测试组件嵌套加密的情况,这极大地限制了它的应...

宋巍涛 胡斌 《计算机科学》 2015年01期 期刊

基于串空间认证测试的DTLS协议认证性分析  CNKI文献

网络通信的普及和发展使得对网络协议尤其是安全协议的需求日益增长,同时安全要求及攻击方式的多样化对网络安全协议的效率和准确性提出了更高的要求。通过对各种协议安全性分析方法进...

泰彬彬 王俊芳 《计算机与网络》 2014年24期 期刊

安全协议形式化分析研究  CNKI文献

计算机网络中,安全协议为通信双方的信息交互提供安全保证,是计算机网络安全的基础.而当安全协议中存在安全漏洞时,会对信息安全产生重大威胁,造成数据泄露、身份被冒用等危害.因...

高尚 胡爱群... 《密码学报》 2014年05期 期刊

一种改进的安全协议认证测试分析方法  CNKI文献

认证测试方法是以串空间模型为基础的一种形式化分析方法。该方法在协议形式化分析过程中具有简洁、清晰等优点,然而,认证测试方法不能检测类型缺陷攻击,文中着力于研究认证测试方法的定义、输出测试定理...

熊玲 彭代渊 《通信技术》 2014年08期 期刊