国家高技术研究发展计划(2007kf003)
- 作品数：3 被引量：9H指数：1
- 相关作者：秦志光李廷元刘晓东范成瑜张选芳更多>>
- 相关机构：电子科技大学中国民用航空飞行学院更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 非交互式可否认认证协议的研究
- 2010年
- 为满足在电子商务和电子政务等领域中的应用要求,深入分析和研究了非交互式可否认认证协议的理论和相关应用。根据不同的应用环境,将可否认认证协议分为交互式和非交互式两类,并分析了这两种类别协议的通信轮数的开销,指出在电子投票和电子邮件协商等应用中需要非交互式的可否认认证这一结论。最后,在对几个典型的非交互式可否认认证协议分析的基础上,指出现有的成果不能满足应用的需要,探讨了在非交互式可否认认证领域的研究方向。
- 李廷元范成瑜秦志光刘晓东
- 关键词：双线性对可否认认证基于身份密码体制
- Needham-Schroeder协议的认证测试方法形式化分析被引量：1
- 2010年
- 在安全协议的形式化分析方法中,串空间模型和基于串空间模型的认证测试方法是比较常用的验证方法。针对Need-ham-Schroeder协议存在中间人攻击的缺陷,提出对协议的改进并采用认证测试方法,验证了改进的协议可以满足协议的安全目标。
- 李廷元秦志光刘晓东张选芳
- 关键词：安全协议形式化分析串空间模型
- 一个单向认证协议的形式化分析与改进
- 针对单向认证协议Woo-Lam中存在的重放攻击,运用基于串空间模型的认证测试方法,对Woo-Lam协议进行了分析,指出了该协议在认证正确性方面的缺陷,同时指出了对协议的改进方法,并用认证测试方法证明了改进协议的认证正确性...
- 宋劲李廷元
- 关键词：安全协议形式化分析
- 文献传递
- 认证测试方法在安全协议形式化分析中的应用研究
- 对认证测试方法在安全协议形式化分析中的应用进行了深入研究,应用认证测试方法对Needham-Schroeder协议进行了分析,指出Needham-Schroeder协议存在中间人攻击和类型错误攻击,对Needham-Sc...
- 李廷元宋劲郑涛袁小珂张建学
- 关键词：安全协议形式化方法
- 文献传递
- 基于风险事件分类的信息系统评估模型研究被引量：8
- 2009年
- 提出了一种基于风险事件分类的信息系统评估模型。模型将信息系统的单个风险事件按底层评估指标进行分类,得到底层指标风险值,然后按照评估指标的层次结构由下往上进行计算,并最终得到信息系统的综合风险值。最后,利用模糊综合评判法,在提出的模型上对一个信息系统进行评估,并得出评估结论。
- 李廷元范成瑜秦志光刘晓东
- 关键词：信息系统信息安全风险评估
- Weakened-Yahalom协议的认证测试分析
- 对认证测试方法在安全协议形式化分析中的应用进行了深入研究,应用认证测试方法对Weakened-Yahalom协议的认证性进行了分析,指出了该协议存在漏洞的原因及对该协议的两种改进。
- 李廷元宋劲
- 关键词：安全协议形式化分析
- 文献传递
