杨晓婕
- 作品数：7 被引量：0H指数：0
- 供职机构：昆明理工大学信息工程与自动化学院更多>>
- 发文基金：云南省教育厅科学研究基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- Otway-Rees认证协议的分析与改进
- 安全协议的形式化验证能有效检验安全协议的安全性,BAN类逻辑的发展极大的促进了这一领域的研究,而SVO逻辑是BAN类逻辑的佼佼者。本文指出了Otway-Rees认证协议的一些缺陷,并对其作了相应的改进。用SVO逻辑来分析...
- QIU Xiping仇细平MIAO Xianghua缪祥华YANG Xiaojie杨晓婕
- 关键词：信息安全BAN类逻辑
- BAN逻辑与串空间的比较
- 2008年
- 研究了2种安全协议的分析方法,即BAN逻辑和串空间.利用这2种方法分别分析了Needham-Schroeder公钥协议,指出了这2种方法各自的优点和缺点.在对这2种方法进行了比较后,指出了这2种方法有2种结合方式.1种是利用串空间给出BAN逻辑的语义,另外1种结合方式是串行,即对于需要分析的协议,先利用BAN逻辑进行分析,然后再利用串空间进行分析,使分析出的结果更加可靠.
- 缪祥华张云生仇细平杨晓婕
- 关键词：BAN逻辑串空间安全协议分析
- Yahalom协议的改进及安全性分析
- 串空间是一种基于定理证明的,新兴的安全协议形式化分析模型。本文针对Yahalom协议的不足,对其进行改进,提出了一种新的Yahalom协议,本文基于串空间模型,运用"理想"和"诚实"作为工具,对改进的Yahalom协议的...
- 杨晓婕缪祥华仇细平
- 关键词：串空间形式化方法
- 文献传递
- Yahalom协议的改进及安全性分析
- 串空间是一种基于定理证明的，新兴的安全协议形式化分析模型。本文针对Yahalom协议的不足，对其进行改进，提出了一种新的Yahalom协议，本文基于串空间模型，运用“理想”和“诚实”作为工具，对改进的Yahalom协议的...
- YANG Xiaojie杨晓婕MIAO Xianghua缪祥华QIU Xiping仇细平
- 关键词：信息安全串空间模型
- Otway-Rees认证协议的分析与改进
- 安全协议的形式化验证能有效检验安全协议的安全性,BAN类逻辑的发展极大的促进了这一领域的研究,而SVO逻辑是BAN类逻辑的佼佼者。本文指出了Otway-Rees认证协议的一些缺陷,并对其作了相应的改进。用SVO逻辑来分析...
- 仇细平缪祥华杨晓婕
- 关键词：SVO逻辑
- 文献传递
