湖北省教育厅重点项目(D20092203)
- 作品数：4 被引量：4H指数：2
- 相关作者：翁艳琴解颜铭石曙东更多>>
- 相关机构：湖北师范学院更多>>
- 发文基金：湖北省教育厅青年基金湖北省自然科学基金湖北省教育厅重点项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种新的电子邮件协议及其形式化分析
- 2013年
- 在安全协议的形式化分析方法中,串空间模型和基于串空间模型的协议认证分析方法是比较常用的验证方法。分析了DKNRP协议存在一定的缺陷,并提出一种新的电子邮件协议,基于扩展的串空间模型采用认证测试方法,验证了新协议可以满足其安全目标。
- 解颜铭石曙东翁艳琴
- 关键词：串空间模型电子邮件协议
- 基于串空间认证测试理论的认证协议分析被引量：2
- 2012年
- 对增强型认证测试理论进行简化,使其能更好、更高效地分析协议的认证性。将其应用到对OR协议的分析中,发现协议存在的缺陷,对协议进行改进,并对改进后的协议进行了分析验证。
- 翁艳琴石曙东解颜铭
- 关键词：串空间模型
- Aziz-Diffie协议的形式化分析及其改进
- 2011年
- 形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议安全性的一条可靠而准确的途径。作为形式化分析方法的典型代表BAN逻辑由于其直观、易用等优点得到广泛的应用。概述了BAN逻辑,并基于BAN逻辑对Aziz-Diffie无线网络密钥协议进行了形式化描述和分析,验证了协议存在的漏洞,同时提出了该协议的改进方案。
- 翁艳琴石曙东解颜铭
- 关键词：BAN逻辑形式化分析
- Kailar逻辑的改进及应用被引量：2
- 2012年
- 综合Kailar逻辑和SVO逻辑两种协议分析方法的优点,借助SVO逻辑的思想对Kailar逻辑进行了改进,使其更好地应用于不可否认协议的可追究性分析和设计。同时,将改进后的Kailar逻辑应用在类NG协议的分析中,分析结果证明了该协议可追究方面的安全性质。
- 翁艳琴石曙东解颜铭
- 关键词：逻辑系统KAILAR逻辑SVO逻辑安全协议
