王全来
- 作品数：8 被引量：6H指数：1
- 供职机构：解放军信息工程大学更多>>
- 发文基金：国家重点基础研究发展计划军队科研基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 数字移动通信系统中认证协议的设计与分析被引量：2
- 2007年
- 该文针对数字移动通信系统的背景和需求,基于公钥密码体制设计了一个端端密钥分发协议,基于对称密码体制设计了一个身份认证协议,并利用Spi演算对身份认证协议进行了分析,证明了其安全性。
- 王全来韩继红王亚弟
- 关键词：查询系统
- 基于Spi演算的密码协议的控制流分析
- 2006年
- 基于Spi演算和控制流分析,提出了一个密码协议的新分析方法。随后利用该方法对Beller-Chang-Yacobi MSR协议进行了分析,通过证明该协议已知的漏洞,说明该方法是正确的,并通过更深入的研究和分析,证明了该协议在并行会话攻击下是不安全的,基于此对该协议进一步改进,改进后的协议是安全的。
- 王全来王亚弟韩继红
- 关键词：SPI演算
- 基于逻辑编程的EKE协议分析被引量：1
- 2007年
- 基于逻辑编程规则及Spi演算提出了一种验证密码协议安全性的新方法,利用该方法可以对密码协议的安全性质以程序化的方式进行验证。通过对EKE协议进行的分析,不但证明了协议已知的漏洞,而且发现了针对EKE协议的一个新的攻击——并行会话攻击。很好地验证了该新方法对密码协议的分析能力。
- 王全来韩继红王亚弟
- 关键词：逻辑编程密码协议
- 多重集合重写与Spi演算的安全协议分析方法
- 2007年
- 当形式化描述安全协议时,不同的规范语言采用不同的推理方法,其结果不能直接或容易地进行比较,因此在不同的框架中建立明确的关联是必要的。论文在多重集合重写MSR和Spi演算的形式化规范之间建立关联,并定义了一种双射;提出和证明了MSR和Spi演算之间在分析安全协议安全性时的一致性关系定理,利用这个关系对Needham-Schroeder公钥协议进行安全性分析。
- 王全来王亚弟韩继红
- 关键词：安全协议分析SPI演算
- 密码协议形式化分析的计算合理性被引量：1
- 2007年
- 基于Abadi-Rowgaway的形式化加密的计算合理性定理,论文提出和证明了密码协议形式化分析的计算合理性定理。通过对群密钥分配协议的分析,说明本文的定理对协议的可选择攻击具有较强的分析能力,论文提出了群密钥分配协议的形式化方法与计算方法下安全性的形式化定义,并证明了其合理性。
- 王全来王亚弟韩继红
- 关键词：形式化方法计算方法密码协议分析
- 密码协议的形式化分析方法研究
- 密码协议的安全性是网络安全的关键,协议分析是揭示密码协议是否存在安全漏洞的重要途径。与非形式化方法相比,密码协议的形式化分析与验证能全面地检测密码协议存在的安全漏洞。在对现有密码协议形式化分析方法和计算方法深入系统分析的...
- 王全来
- 关键词：密码协议形式化分析重写
- 文献传递
- 基于概率多项式时间进程的安全协议分析
- 2007年
- 针对Spi演算在安全协议分析中存在的局限性,通过引入概率多项式时间进程,提出一个分析安全协议的新方法。该方法是对Spi演算的改进,在该方法中攻击者是概率多项式时间进程,协议的安全性用概率可观察等价性表示。通过对一个基于ElGamal加密和Diffie-Hellman的密钥交换协议分析,证明了该方法的可行性和有效性。
- 王全来王亚弟韩继红
- 关键词：进程代数安全协议分析
- 密码协议形式化分析的计算合理性被引量：1
- 2007年
- 基于Abadi-Rowgaway的形式化加密的计算合理性定理,提出和证明了密码协议形式化分析的计算合理性定理。通过对群密钥分配协议安全性的分析,说明定理对协议的可选择攻击具有较强的分析能力,提出了群密钥分配协议的形式化方法与计算方法下安全性的形式化定义,并证明了其合理性。
- 王全来王亚弟韩继红
- 关键词：形式化方法计算方法密码协议分析
