范红
- 作品数：12 被引量：83H指数：5
- 供职机构：中国科学院研究生院信息安全国家重点实验室更多>>
- 发文基金：国家重点基础研究发展计划国家杰出青年科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 安全协议形式化分析的研究现状及有关问题被引量：5
- 2001年
- 本文主要概述了安全协议形式化分析的研究状况,分析了现有安全协议形式化分析工具所面临的挑战和问题。
- 范红冯登国
- 关键词：安全协议形式化分析网络协议通信协议
- 数字签名技术及其在网络通信安全中的应用
- 作为一个全新的,具有挑战性的领域,网络通信安全越来越引起人们的关注,而数字签名技术则成为这一领域最为重要的研究方向之一。文章首先介绍了数字签名技术及公钥体制,具体分析了多点对一点的群数字签名方案,最后给出了为适应Inte...
- 范红冯登国邹良惠
- 关键词：数字签名技术公钥体制签名
- 文献传递
- 互联网密钥交换协议及其安全性分析被引量：28
- 2003年
- 互联网密钥交换(Internet key exchange)协议的复杂性使得其存在一些安全漏洞.在深入分析IKE协议工作原理的基础上,探讨了其可能遭受的攻击.
- 范红
- 关键词：互联网密钥交换协议计算机网络网络安全
- 安全协议形式化分析方法综述之一:基于推理结构性方法被引量：5
- 2003年
- 本文给出了基于推理结构性安全协议形式化分析方法的一个全面综述,分析了此类方法中的各种逻辑系统的优势与不足。
- 范红冯登国邹良惠
- 关键词：通信协议网络协议安全协议形式化分析方法电子商务
- 安全协议形式化分析的不变式生成技术被引量：2
- 2002年
- 给出了应用于不同系统的不变式的概述,分析了彼此之间的关系,进行了分类,并探讨了其未来发展趋势.密码协议的形式化分析日渐引起人们的广泛关注.这导致了不变式生成与描述技术的发展.不变式是对入侵者可知和不可知消息的定义,可用于协议认证和秘密性的证明。
- 范红冯登国郭金庚
- 关键词：形式化分析
- 安全协议形式化分析方法综述之二——基于攻击结构性方法被引量：3
- 2003年
- 本文给出了现行的基于攻击结构性方法的分类,分析了各类工具的特点。
- 范红冯登国
- 关键词：安全协议形式化分析方法网络协议通信协议
- 安全协议形式化分析的MT组合分析技术
- 本文分析了模型检测技术和理论生成技术的优点与不足,并在此基础上提出了MT(Model checking-Theory induction)组合分析技术,该技术可提供更为完全的安全协议形式化分析方法.
- 范红冯登国邹良惠郭金庚
- 关键词：安全协议信息安全
- 文献传递
- 一种混合的安全协议形式化分析技术被引量：3
- 2002年
- 分析了模型检测技术和逻辑推证技术的优点与不足,并在此基础上提出了一种混合的形式化分析技术的说明,该技术可提供更为完全的安全协议形式化分析.
- 范红冯登国
- 关键词：安全协议形式化分析网络安全
- 一个非否认协议ZG的形式化分析被引量：14
- 2005年
- 非否认性是电子商务协议的一个重要性质 ,其形式化分析问题引起了人们的密切关注 .本文运用SVO逻辑对一个非否认协议实例进行了有效的形式化分析 ,并对协议的缺陷进行了改进 .
- 范红冯登国
- 关键词：非否认协议形式化分析SVO逻辑
- 一种分析Timed-Release公钥协议的扩展逻辑被引量：5
- 2003年
- 在Coffey和Saidha提出的CS逻辑 (CS逻辑将时间与逻辑结构相结合 ,可用于形式化分析Timed release公钥协议的时间相关性秘密的安全性 )的基础上 ,提出了CS逻辑的扩展逻辑 ,它更好地反映了Timed release公钥协议的特性 ,并对一个协议实例进行了有效的形式化分析 .
- 范红冯登国
- 关键词：密码协议形式化分析
