姬东耀

来源: 作者: 发布时间: 2013-12-03 次浏览

      姬东耀,男,1965年5月生,1984年7月毕业于榆林学院数学系(数学与统计学院);1989年7月毕业于陕西教育学院数学本科班;1989年8月-1993年7月在陕西省广播电视大学靖边分校任教;1993年8月-1997年7月在西安电子科技大学数学系获理学硕士学位; 1997年8月-2001年11月在西安电子科技大学计算机学院302教研室工作; 200112月西安电子科技大学通信工程学院密码学专业博士毕业,获工学博士学位,研究方向为网络安全协议的设计与分析。200310月中国科学院研究生院信息与通信工程博士后流动站出站,研究方向为电子商务协议的设计与分析;目前在中国科学院信息工程研究所信息安全国家重点实验室从事科研工作。在西安电子科技大学学习与工作期间参与完成国家自然科学基金重点项目1项,高等学校博士点基金1项,国防电子预研基金2项。在中科院信息安全国家重点实验室工作期间参与完成国家重点基础研究计划(973)项目1项;主持完成国家自然科学基金面上项目“安全电子商务协议及其形式化分析研究”(60273029 ), 结题评价为优。主持完成国家自然科学基金网络与信息安全重大研究计划项目“归约方法与形式化方法相结合的安全协议验证技术研究”(90604010 ), 结题评价为优。在国际刊物上发表论文8篇,国际重要会议上发表论文6篇。国内刊物论文30多篇,SCI检索9篇,EI 检索17篇。参与研制安全协议分析软件一套。并在中科院研究生院讲授《形式化方法》与《安全协议的形式化分析》两门研究生课程。

上一条:苏加宝 下一条:贺伟