范红
【姓名】 范红
【职称】 讲师;
【研究领域】 互联网技术;计算机软件及计算机应用;电信技术;
【研究方向】
【发表文献关键词】 验证,签名,公钥,不变式,数字签名技术,形式化分析,私钥,公钥体制,安全协议,逻辑推证,大数分解,混合分析技术,模型检测,模式,攻击,网络通信安全,数字签名,困难性,BAN逻辑,IKE协议,协议分析器...
【工作单位】 中国科学院研究生院
【曾工作单位】 中国科学院研究生院;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/10 3 7 10 134 1706
中国期刊全文数据库    共找到9篇
[1]范红,冯登国.一种分析Timed-Release公钥协议的扩展逻辑[J]计算机学报.2003,(07)
[2]范红.互联网密钥交换协议及其安全性分析[J]软件学报.2003,(03)
[3]范红,冯登国,邹良惠.安全协议形式化分析方法综述之一:基于推理结构性方法[J]网络安全技术与应用.2003,(05)
[4]范红,冯登国.安全协议形式化分析方法综述之二——基于攻击结构性方法[J]网络安全技术与应用.2003,(06)
[5]范红,冯登国.一个非否认协议ZG的形式化分析[J]电子学报.2005,(01)
[6]范红.数字签名技术及其在网络通信安全中的应用[J]中国科学院研究生院学报.2001,(02)
[7]范红.一种基于大数分解困难性的新型数字签名方案[J]中国科学院研究生院学报.2001,(02)
[8]范红,冯登国,郭金庚.安全协议形式化分析的不变式生成技术[J]中国科学院研究生院学报.2002,(01)
[9]范红,冯登国.一种混合的安全协议形式化分析技术[J]中国科学院研究生院学报.2002,(03)
更多
中国重要会议全文数据库    共找到1篇
[1]范红;冯登国;邹良惠;.数字签名技术及其在网络通信安全中的应用[A].第十六次全国计算机安全学术交流会论文集.2001-06-27
更多