基本信息
姬东耀  男  硕导  中国科学院信息工程研究所
电子邮件: jidongyao@iie.ac.cn
通信地址: 海淀区树村路19号中科院信息工程研究所
邮政编码: 100085

招生信息

   
招生专业
083900-网络空间安全
招生方向
网络安全协议

教育背景

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