个人简介
招生专业
081202-计算机软件与理论
081220-信息安全
招生方向
系统安全
可信计算及隐私保护
教育背景
1996-08--1999-08 南京航空航天大学 工学博士
1982-08--1985-07 兰州大学 理学硕士
1978-02--1982-02 兰州大学 理学学士
工作简历
2001-07--今 中国科学院软件研究所 副研究员、研究员
1999-10--2001-07 中国科学院软件研究所 博士后
1985-07--1996-07 兰州大学 助教、讲师、副教授
教授课程
可信计算技术、 访问控制技术
专利成果
(1) 一种栈溢出攻击防御方法,发明,2010,第2作者,专利号:201010209888.1
科研项目
(1) 数据操作系统的检验验证与应用部署,主持,部委级,2012-01--2015-12
(2) 红旗桌面操作系统可信增强技术研发,主持,国家级,2009-01--2011-12
(3) 高等级安全操作系统测试方法和技术,主持,部委级,2008-07--2011-03
近期论文
查看导师新发文章
(温馨提示:请注意重名现象,建议点开原文通过作者单位确认)
(1) Baggy Bounds With Accurate Checking,23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2012. 195-200,2012,第2作者
(2) Return-Oriented Programming Attack on the Xen Hypervisor,The 7th International Conference on Availability, Reliability and Security (ARES 2012),2012,第3作者
(3) Improving Flask Implementation Using Hardware Assisted In-vm Isolation,27th IFIP TC 11 Information Security and Privacy Conference, SEC 2012,2012,第4作者
(4) Prevent Kernel Return-oriented Programming Attacks Using Hardware Virtualization,8th International Conference on Information Security Practice and Experience, ISPEC 2012. : 289-300,2012,第2作者
(5) 一种保护隐私的高效远程验证机制,Efficient Remote Attestation Mechanism with Privacy Protection,软件学报,2011,第2作者
(6) Static Scheduling Of Synchronous Data Flow Onto Multiprocessors For Embedded Dsp Systems,3rd International Conference on Measuring Technology and Mechatronics Automation, ICMTMA 2011,2011,第2作者
(7) Semantic Remote Attestation For Security Policy,2010 International Conference on Information Science and Applications, ICISA 2010.,2010,第2作者
(8) 基于Biba和Clark-Wilson策略的混合强制完整性模型,Hybrid Mandatory Integrity Model Composed of Biba and Clark—Wilson Policy,软件学报,2010,第2作者