薛锐
【姓名】 薛锐
【职称】 研究员;
【研究领域】 互联网技术;计算机软件及计算机应用;电信技术;
【研究方向】
【发表文献关键词】 抽象状态机,形式归约,密码协议,传值进程,形式化方法,一阶模态逻辑,模型检测,可判定性,安全,对抗,串空间模型,状态空间剪枝,DDOS,拒绝服务,分布式拒绝服务,形式化分析,拒绝服务攻击,算法,交换协...
【工作单位】 中国科学院软件研究所
【曾工作单位】 中国科学院软件研究所;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/16 12 14 8 335 4685
中国期刊全文数据库    共找到16篇
[1]薛锐;雷新锋;.安全协议:信息安全保障的灵魂——安全协议分析研究现状与发展趋势[J]中国科学院院刊.2011,(03)
[2]薛锐;冯登国;.安全协议的形式化分析技术与方法[J]计算机学报.2006,(01)
[3]沈海峰;薛锐;黄河燕;.用串空间分析公平交换协议[J]小型微型计算机系统.2006,(01)
[4]薛锐;刘吉强;.有界单向函数的通用求逆算法研究(英文)[J]计算机学报.2006,(09)
[5]薛锐,林惠民.面向传值进程的一阶模态逻辑的可判定性与模型检测[J]中国科学E辑:技术科学.2003,(02)
[6]薛锐,林惠民.On decidability and model checking for a first order modal logic for value-passing processes[J]Science in China(Series F:Information Sciences).2003,(01)
[7]孟江涛,冯登国,薛锐,黄寄洪.分布式拒绝服务攻击的原理与防范[J]中国科学院研究生院学报.2004,(01)
[8]刘学锋,石昊苏,薛锐,周径野.安全协议自动验证工具的状态空间剪枝[J]计算机应用.2004,(08)
[9]石昊苏,薛锐,冯登国.AVSP算法[J]计算机工程与设计.2005,(04)
[10]沈海峰,薛锐,黄河燕,陈肇雄.串空间理论扩展[J]软件学报.2005,(10)
更多
承担国家科研项目    共找到3个
[1]薛锐;.计算可靠的安全协议形式化分析系统研究[A].中国科学院软件研究所;.项目经费 8万元.2007-03-31.资助文献数 0 篇
[2]薛锐;.密码协议分析的理论和方法[A].中国科学院软件研究所;.项目经费 23万元.2003-03-31.资助文献数 17 篇
[3]薛锐;.密码可靠的安全协议形式化分析研究[A].中国科学院软件研究所;.项目经费 32万元.2008-03-20.资助文献数 0 篇
更多