中国科学院软件研究所研究员

基本信息

职称： 研究员

性别： 男

主要研究方向及简介

研究兴趣包括: 密码学，安全协议, 计算复杂性理论、信息安全理论、密码协议的形式化方法、数理逻辑等。

科研项目

已经完成项目:

主持完成省部级项目多项

参加国家重大基础研究项目（973）(G1999035802)

主持完成国家863 项目(2002AA144050)

主持完成国家自然基金项目（60373048），基金委评定为优秀

主持完成国家自然基金项目(60773029)

目前项目:

主持国家自然基金(60873260）

参加973项目(2007CB311202)

主持国家863项目(2009AA01Z414)

主持国家归国留学基金项目

主持国家重点实验室项目

在Journal of Computer and Technology、 Computer and Security、 International Journal of Network Security、IEE Proceedings Communication 等国际杂志，电子学报，软件学报、计算机学报、中国科学等国内重要刊物、国际，国内会议上发表六十余篇论文。

曾任ISDPE07国际会议联合主席, 多个国际会议程序委员会委员。任多家杂志审稿人等等。

学习经历

1979－1983 北京师范大学数学系学习, 获学士学位。

1985－1988 北京师范大学数学系学习, 获硕士学位。

1996－1999 北京师范大学数学系学习, 获博士学位。

1999－2001 中国科学院软件所, 博士后。

工作经历

1983－1985 山西省临汾师专教师

1988－1996 山西师范大学计算机中心

2001－2002 中科院计算机语言信息工程研究中心

2002－今 中国科学院信息安全国家重点实验室

1994－1995 德国的Passau 大学访问学者. 合作导师：Volker Weispfenning

2005－2006 美国的Purdue University 计算机系高级访问学者. 合作导师：Ninghui Li

2006－2007 美国 UIUC 计算机系高级访问学者。合作导师：Manoj M. Prabhakaran

代表论著

薛锐 林惠民 面向传值进程的谓词μ-演算与FO(HML)的完备推演系统. 计算机学报, vol. 25, no. 6, pp. 561-569, 2002.

薛 锐, 有序实数加法理论新的判定过程与多项式谱 (1088) 软件学报, vol. 12, no. 7, pp. 1088-1092, 2001.

曹天杰　林东岱　薛锐　基于椭圆曲线的代理多签名方案的安全性分析. 小型微型计算机系统. 2006 Vol.27 No.5: 798-801, 2006.

沈海峰，薛锐，黄河燕。 用串空间分析公平交换协议。小型微型计算机系统。 2006年vol 2（1）：62-68.

沈海峰 薛 锐 黄河燕 陈肇雄 串空间理论扩展. 软件学报, vol. 16, no. 10, pp. 1784-1789, 2005.

沈海峰　薛锐　黄河燕，陈肇雄. JFK协议的安全性分析 。小型微型计算机系统。 2005年vol 26（10）：1681-1686.