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

研究领域

招生信息
招生专业083900-网络空间安全

招生方向网络安全协议


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

学历
学位

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

社会兼职

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


专利与奖励
奖励信息（1） 2005年优秀课程, 一等奖, 研究所（学校）, 2005

专利成果

出版信息
发表论文（1）Enhanced TLS Handshake Authentication with Blockchain and Smart Contract,Proceeding of IWSEC, Springer International Publishing AG 2017,LNCS 10418,2017,第11作者
（2）Comment on “Design and formal security evaluation of NeMHIP”,Computers and Security,2016,第11作者
（3）Reconstruction of Potential Attack Scenarios of the OpenID Protocol Towards Network Forensics Analysis,Applications and Techniques in Information Security , 6th International Conference, Springer.,2015,第1作者
（4）A New Trust Chain Security Evaluation Model and Tool,10th International Conference on Security and Privacy in Communication Networks. Springer.,2015,第11作者
（5）基于信息流模型的TCB完整性策略分析方法与工具,Policy analysis methods and tools of information flow model based on TCB intergrity,武汉大学学报,2013,第11作者
（6）Formal Analysis of Dynamic Domain Establishment Protocol in Cloud Logging Service,Dependable Computing,2013,第11作者
（7）Active Attacking Multicast Key Management Protocol Using Alloy,Abstract State Machines, Alloy, B, VDM, and Z,2012,第11作者
（8）Verifiable Attribute Based Encryption,International Journal of Network Security,2010,（9）基于ASM工具的HMQV协议形式验证,Formal Verification of HMQV Using ASM-SPV,IEEE Conference Proceeding,2010,第11作者
（10）基于LPN问题的RFID安全协议设计与分析,Design and Analysis of Security Protocols for RFID Based on LPN Problem,电子与信息学报,2009,（11）秘密认证中的可否认问题,中国科学院研究生院学报,2009,（12）Analysis of a kind of quantum cryptographic schemes based on secret sharing,Science in China Series G:,2009,（13）一类基于秘密共享的量子密码方案的分析,中国科学 G 辑,2009,（14）HB协议的形式规约与验证,Formal Specification and Verification of the HB Protocol ,计算机研究与发展,2008,（15）多授权中心可验证的基于属性的加密方案,Muti-Authority Verifiable Attribute-Based Encryption ,武汉大学学报(自然科学学版),2008,（16）Using SPIN to Detect Vulnerabilities in the AACS Driver-Host Authentication Protocol,28th IFIP WG 6.1 Intenational Conference, Formal Techniques for Networked and Distributed Systems- FORTE 2008, Springer.,2008,第1作者

发表著作

科研活动
科研项目（ 1 ） 基于概率时间自动机理论的可信安全度量模型研究, 主持,研究所（学校）,2016-01--2018-01
（ 2 ） 外包环境中基于角色访问控制策略的隐私保护实施协议研究, 主持,国家级,2015-01--2016-01
（ 3 ） 新型安全电子商务协议的设计与分析, 主持,国家级,2015-01--2017-01
（ 4 ） 基于安全协议执行迹的网络攻击场景重构研究, 主持,市地级,2016-12--2019-01

参与会议（1）A New Trust Chain Security Evaluation Model and Toolhu wei2014-05-10
（2）Formal Analysis of Dynamic Domain Establishment Protocol in Cloud Logging Service Hu wei and Ji dongyao2013-05-16
（3）Active Attacking Multicast Key Management Protocol Using AlloyWang Ting and Ji Dongyao2012-06-18
（4）Formal Verification of HMQV Using ASM-SPVDanqing Huang2010-05-06
（5）Using SPIN to Detect Vulnerabilities in the AACS Drive-Host Authentication Protocolwang wei 2008-06-10
（6）Security analysis and improvement of a new delegation-based authentication protocol for use in PCS ji dongyao feng dengguo2007-10-10
（7）Authentication and key agreement protocol in personal communication systemJi Dongyao Feng Dnegguo2004-10-14


合作情况
项目协作单位

指导学生