1998-08--2001-10   西安电子科技大学通信工程学院   博士研究生

   

2011-06~现在, 中国科学院信息工程研究所, 副研究员一级
2003-12~2011-06,中科院信息安全国家重点实验室, 副研究员
2001-11~2003-11,中科院信息安全国家重点实验室, 博士后
1998-08~2001-10,西安电子科技大学通信工程学院, 博士研究生
1996-08~2001-11,西安电子科技大学计算机学院, 讲师

安全协议与形式化方法
安全协议的形式化分析
形式化方法
形式化方法专题讨论
形式化方法应用

   

（1） 2005年优秀课程, 一等奖, 研究所（学校）, 2005

   

（ 1 ） 基于安全协议执行迹的网络攻击场景重构研究, 负责人, 研究所自主部署, 2018-04--2023-12
（ 2 ） 基于概率时间自动机理论的可信安全度量模型研究, 负责人, 其他国际合作项目, 2016-01--2018-01
（ 3 ） 外包环境中基于角色访问控制策略的隐私保护实施协议研究, 负责人, 国家任务, 2015-01--2016-01
（ 4 ） 新型安全电子商务协议的设计与分析, 负责人, 国家任务, 2015-01--2017-01

（1）A New Trust Chain Security Evaluation Model and Tool   hu wei   2014-05-10
（2）Formal Analysis of Dynamic Domain Establishment Protocol in Cloud Logging Service    Hu wei and Ji dongyao   2013-05-16
（3）Active Attacking Multicast Key Management Protocol Using Alloy   Wang Ting and Ji Dongyao   2012-06-18
（4）Formal Verification of HMQV Using ASM-SPV   Danqing Huang   2010-05-06
（5）Using SPIN to Detect Vulnerabilities in the AACS Drive-Host Authentication Protocol   wang wei    2008-06-10
（6）Security analysis and improvement of a new delegation-based authentication protocol for use in PCS    ji dongyao feng dengguo   2007-10-10
（7）Authentication and key agreement protocol in personal communication system   Ji Dongyao Feng Dnegguo   2004-10-14