个人简介
招生专业
081203-计算机应用技术
081220-信息安全
招生方向
网络技术与应用
信息处理与集成
信息与数字工程
教育背景
1997-09--2001-03 中科院软件所 工学博士
1995-07--1997-07 武汉科技大学 工学硕士
1991-09--1995-07 武汉治金科技大学 工学学士
工作简历
2005-03~现在, 中科院软件所, 副研究员
2001-03~2005-03,中科院软件所, 助理研究员
奖励信息
(1) 基于选择符号执行的软件漏洞自动挖掘与分析技术, 二等奖, 部委级, 2017
专利成果
( 1 ) 一种基于信息属性的JPEG2000图像保护系统及方法, 发明, 2017, 第 1 作者, 专利号: CN103618594A
( 2 ) 一种支持透明转码的图像数据安全传输系统, 发明, 2016, 第 1 作者, 专利号: CN103414686A
( 3 ) 基于卫星信道编码的自适应隐蔽通信方法, 发明, 2017, 第 1 作者, 专利号: CN103476026A
( 4 ) 一种基于协议逆向解析的自动化漏洞挖掘系统及方法, 发明, 2014, 第 1 作者, 专利号: 201410427611.4
( 5 ) 一种基于进程通信的Android应用程序权限滥用检测方法和系统, 发明, 2017, 第 2 作者, 专利号: 201410787755.0
( 6 ) 一种CCSDS图像认证系统及方法, 发明, 2014, 第 2 作者, 专利号: 201410759453.2
( 7 ) 一种适用于卫星移动通信网络的入网认证方法, 发明, 2014, 第 1 作者, 专利号: 201410285979.1
( 8 ) 一种基于模式的动态漏洞挖掘集成系统和方法, 发明, 2018, 第 1 作者, 专利号: 201510063618.7
( 9 ) 基于函数调用的脆弱性关联分析辅助漏洞挖掘方法, 发明, 2017, 第 2 作者, 专利号: 201510072607.5
( 10 ) 一种动态标记处理控制依赖的方法, 发明, 2015, 第 1 作者, 专利号: 201510530933.6
( 11 ) 一种支持非均衡任务分配的动态漏洞挖掘系统和方法, 发明, 2016, 第 1 作者, 专利号: 201510958710.X
( 12 ) 一种内核数据访问控制方法与系统, 发明, 2017, 第 1 作者, 专利号: 201710165162.4
( 13 ) 一种基于薄虚拟机监控器的USB存储设备安全访问控制方法, 发明, 2017, 第 1 作者, 专利号: 2017103513972
( 14 ) 一种基于DCR的动态漏洞挖掘方法及系统, 发明, 2017, 第 2 作者, 专利号: 201610984323.8
科研项目
( 1 ) 基于信息属性的安全防护技术, 主持, 部委级, 2011-03--2015-03
( 2 ) 基于任务特征的安全防护策略研究, 参与, 部委级, 2011-03--2015-03
( 3 ) 软件漏洞发现技术研究, 主持, 国家级, 2011-10--2016-07
( 4 ) 卫星集群对抗技术, 主持, 国家级, 2012-03--2015-03
( 5 ) 分布式动态漏洞挖掘集成系统, 主持, 部委级, 2015-07--2016-06
( 6 ) 基于DCR的动态漏洞挖掘技术研究, 主持, 部委级, 2016-07--2017-06
( 7 ) 安全可靠桌面计算机操作系统硬件服务框架的研发(三期), 主持, 国家级, 2016-06--2017-06
( 8 ) 面向特殊环境的漏洞挖掘技术研究, 主持, 国家级, 2017-07--2018-06
近期论文
查看导师新发文章
(温馨提示:请注意重名现象,建议点开原文通过作者单位确认)
(1) 精准执行可达性分析:理论与应用, 软件学报, 2018, 第 3 作者
(2) HACS: A Hypervisor-Based Access Control Strategy to Protect Security Critical Kernel Data, International Conference on Computer Science and Technology 2017, 2017, 第 3 作者
(3) Thin Hypervisor-Based User Authentication Mechanism for Linux Security Modules, The 2nd International Conference on Computer Science and Technology (CST2017), 2017, 第 3 作者
(4) A New Static Vulnerabilities Analysis Algorithm for PHP Codes, The 3rd Annual International Conference on Network and Information Sysetms for Computers(ICNISC 2017), 2017, 第 2 作者
(5) A Static Backward Taint Data Analysis Method for Detecting Web Application Vulnerabilities, 2017 9th IEEE International Conference on Communication Software and Networks(ICCSN), 2017, 第 2 作者
(6) Path Sensitive Static Analysis of Taint-style Vulnerabilities in PHP Code, 17th IEEE International Conference on Communication Technology, 2017, 第 3 作者
(7) 基于跨层优化资源分配的图像流认证方法, 信息安全学报, 2016, 第 2 作者
(8) Secure Transmission Mechanism of Space Data Based on Information Attribute, 2016 International Conference on Intelligent Control and Computer Application, 2016, 第 1 作者
(9) A Dynamic Marking Method for Implicit Information Flow in Dynamic Taint Analysis, The 8th International Conference on Security of Information and Networks,September 8-10, 2015,Sochi/Russia, 2015, 第 2 作者
(10) A method of handling control dependence in dynamic taint analysis, CIT/IUCC/DASC/PICom 2015, 2015, 第 2 作者
(11) An uneven distributed system for dynamic taint analysis Framework, CSCloud 2015, 2015, 第 2 作者
(12) 压缩图像码流的分组丢失顽健可伸缩认证算法, 通信学报, 2014, 第 2 作者
(13) 基于有向图构造的卫星遥感图像认证算法, 宇航学报, 2014, 第 2 作者
(14) A Capacity Self-Adaption Information Hiding Algorithm Based on RS Code, IEEE International Conference on Multisensor Fusion and Information Integration, 2014, 第 1 作者
(15) 基于信息属性的空间数据安全传输机制研究, 兵工学报, 2014, 第 1 作者
(16) An Automatic Network Protocol Reverse Engineering Method for Vulnerability Discovery, 2014 International Conference on Network Security and Communication Engineering(NSCE2014), 2014, 第 2 作者
(17) Permissions Abuse Detection for Android Platform Based on DroidBox, 2014 International Conference on Network Security and Communication Engineering(NSCE2014), 2014, 第 2 作者
(18) A Privilege Abuse Detection Method Based on Android Permission Model, The 4th International Conference on Electronics, Communications and Networks, 2014, 第 2 作者
(19) An Encryption Algorithm of JPEG2000 Streams for Supporting Ciphertext-based Transcoding, International Conference on Cognitive System and Information Processing, 2014, 第 3 作者
(20) 卫星多组密钥管理, Satellite Multi-Group Key Management, The 3rd IEEE International Conference on Information Science and Technology (ICIST), 2013, 第 2 作者
(21) 一类组密钥管理方案漏洞分析, Vulnerability Analysis of a Kind of Group Key Management Schemes, The 10th IEEE International Conference on Electrical Engineering/Electronics, Computer, Telecommunications and Information Technology (ECTICON), 2013, 第 2 作者
(22) 卫星网络组播多组共享密钥管理方案, 宇航学报, 2013, 第 2 作者
(23) 无线网络媒体流高效认证协议, Efficient authentication of scalable media streams over wireless networks, Multimedia Tools and Applications, 2013, 第 4 作者
(24) Joint FEC codes and hash chains for optimizing authentication of JPEG2000 image streaming, In Proc. IEEE Int. Conf. on Multimedia and Expo (ICME), 2013, 第 3 作者
(25) 卫星移动通信网络访问验证协议设计与分析, Design and Logical Analysis on the Access Authentication Scheme for Satellite Mobile Communication Networks, IET Information Security, 2012, 第 2 作者
(26) 基于感知哈希的图像内容鉴别性能分析, Performance Analysis of Image Content Identification on Perceptual Hashing, 计算机辅助设计与图形学学报, 2012, 第 4 作者
(27) 针对移动代理数据完整性保护协议的一种新攻击, A New Kind of Attack to Free Roaming Mobile Agent Data Integrity Protection Protocol, 软件学报, 2011, 第 1 作者
(28) 一种适用于CCSDS图像数据压缩标准的可扩展加密方案, A Scalable Encryption Scheme for CCSDS Image Data Compression Standard, 1st International Conference on Information Theory and Information Security, 2011, 第 3 作者
(29) 基于随机网络编码的无线广播重传方案及性能分析, A wireless broadcast retransmission scheme based on random network coding and its performance analysis, 信号处理, 2010, 第 3 作者