云南省教育厅科研基金(07C10075)
- 作品数：4 被引量：5H指数：1
- 相关作者：缪祥华仇细平杨晓婕张云生更多>>
- 相关机构：昆明理工大学更多>>
- 发文基金：云南省教育厅科学研究基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- BAN逻辑与串空间的比较
- 2008年
- 研究了2种安全协议的分析方法,即BAN逻辑和串空间.利用这2种方法分别分析了Needham-Schroeder公钥协议,指出了这2种方法各自的优点和缺点.在对这2种方法进行了比较后,指出了这2种方法有2种结合方式.1种是利用串空间给出BAN逻辑的语义,另外1种结合方式是串行,即对于需要分析的协议,先利用BAN逻辑进行分析,然后再利用串空间进行分析,使分析出的结果更加可靠.
- 缪祥华张云生仇细平杨晓婕
- 关键词：BAN逻辑串空间安全协议分析
- Needham-Schroeder共享密钥协议的改进
- 本文研究了Needham-Schroeder共享密钥协议。指出了该协议存在的缺陷和漏洞,并给出了一种攻击该协议方法。虽然Needham和Schroede r对原始的协议进行了修改,但修改后的协议仍然存在缺陷。还有其他一些...
- 缪祥华
- 关键词：BAN逻辑
- 文献传递
- Yahalom协议的改进及安全性分析
- 串空间是一种基于定理证明的,新兴的安全协议形式化分析模型。本文针对Yahalom协议的不足,对其进行改进,提出了一种新的Yahalom协议,本文基于串空间模型,运用"理想"和"诚实"作为工具,对改进的Yahalom协议的...
- 杨晓婕缪祥华仇细平
- 关键词：串空间形式化方法
- 文献传递
- 对前向安全数字签名方案的分析与改进被引量：4
- 2017年
- 针对基于椭圆曲线的前向安全数字签名方案存在较为严重的安全性漏洞问题,给出一种针对该前向安全数字签名方案进行伪造签名的方法,对其合理性和正确性进行了验证,并对该方案进行了改进。验证结果证明,改进后的方案足以抵御所提出的伪造签名方法,从而提高了安全性。
- 李靳元缪祥华
- 关键词：数字签名
- Denning-Sacco密钥分配协议的分析与改进被引量：1
- 2010年
- 研究了Denning-Sacco密钥分配协议,指出了该协议存在的缺陷和漏洞,并给出了两种攻击该协议的方法,一种是重放攻击,另一种是拦截攻击.虽然一些学者对该协议进行了修改,但是仍然存在缺陷和漏洞.针对原始协议存在的缺陷和漏洞,该文在原来协议的基础上,增加了一条消息,并用串空间模型来分析了修改后的协议,说明修改后的协议能够达到协议的目标.
- 缪祥华
- 关键词：串空间
- Otway-Rees认证协议的分析与改进
- 安全协议的形式化验证能有效检验安全协议的安全性,BAN类逻辑的发展极大的促进了这一领域的研究,而SVO逻辑是BAN类逻辑的佼佼者。本文指出了Otway-Rees认证协议的一些缺陷,并对其作了相应的改进。用SVO逻辑来分析...
- 仇细平缪祥华杨晓婕
- 关键词：SVO逻辑
- 文献传递
