首页 >  导师信息
张阳

 

教育背景                                                                                                

 1989—1993         洛阳工学院                  本科

1997-- 2000         西安交通大学              硕士

2004—2008         中科院研究生院         博士

 

承担科研项目                                                                 

作为项目负责人先后承担国家863重大项目以支撑公众与企业服务为主的网络操作系统研制2011AA01A203)子课题面向云计算的统一安全控制机制、国家863 计划项目“Windows Vista内核安全分析及可控性技术研究2007AA01Z465)、国家自然科学基金跨平台的操作系统安全机制形式化验证方法研究(批准号:60970028)。作为核心成员参加国家863 项目面向可信计算平台的操作系统安全机制研究2007AA01Z414),访问验证保护级安全操作系统设计及其测评关键技术和实现方法研究2006AA01Z433)等多项研究课题。曾主持B2 级操作系统研制、等级保护、基于可信计算平台的操作系统等多项信息安全产品的开发。

 

代表性论文著作                                                                              

[1] Liang Cheng; Yang Zhang; Zhihui Han, "Quantitatively Measure Access Control Mechanisms across Different Operating Systems," Software Security and Reliability (SERE), 2013 IEEE 7th International Conference on, vol., no., pp.1-1, 18-20 June 2013, Accepted.

[2] Dong Chen; Yang Zhang; Liang Cheng; Yi Deng; Xiaoshan Sun, Heuristic path pruning algorithm based on error handling pattern recognition in detecting vulnerability, The 8th IEEE International Workshop on Security, Trust and Privacy for Software Applications (STPSA), pp.1-1, 22-26 July 2013, Accepted. 

[3] Zhihui Han; Liang CHENG; Yang Zhang; Dengguo Feng, "Measuring and Comparing the Protection Quality in Different Operating Systems," Network and System Security (NSS), 2013 7th International Conference on , vol., no., pp.1-1, 3-4 June 2013, Accepted.

[4] Liang Cheng; Yang Zhang. ”Model Checking Security Policy Model Using Both UML Static and Dynamic Diagrams,” 4th International Conference on Security of Information and Networks, pp.159-166, 14-19 Nov 2011.

[5] Yingjun Zhang, Yang Zhang, Kai Chen. “A Map-Layer-Based Access Control Model”. The 12th International Workshop on Information Security Applications(WISA 2011), pp. 157-170, August 22-24, 2011.

[6] Xiaoshan Sun; Liang Cheng; Yang Zhang. ”A Covert Timing Channel via Algorithmic Complexity Attacks: Design and Analysis,” Communications (ICC), 2011 IEEE International Conference on, vol., no., pp.1-5, 5-9 June 2011.

[7] Xiaoshan Sun, Yang Zhang, Liang Cheng. A Linear-Time Complexity Algorithm for Solving the Dyck-CFL Reachability Problem on Bi-directed Trees. Proc. of 2011 International Conference on Innovation and Information Management (ICIIM 2011), Chengdu China, pages 67-71, 2011.

[8] Liang Cheng, Yang Zhang, Dengguo Feng. A Language for Secure Requirement Description Based on Information Flow. 2010 IEEE International Conference on Intelligent Computing and Intelligent Systems, pages 397-401, 2010

[9] 张阳, 程亮. 基于指针逻辑的代码安全属性分析方法. 计算机学报. 2009, 32(6):1119-1125.

[10] 张阳. 一种带敏感标签的SELinux 安全策略信息流分析方法. 计算机学报. 2009, 32(4):709-720.

 

获奖情况                                                   

1)高可用综合安全网关技术研究与应用,北京市科学技术进步一等奖,2011, 排名第4. 

2)等级保护支撑平台研制与应用, 北京市科学技术进步三等奖, 2006, 排名第6.