首页 >  导师信息
程亮

 

教育背景                                                

1999—2003          中国科学技术大学         工学学士

2003—2009          中国科学技术大学         工学博士

 

承担科研项目                                             

主持项目:国家自然科学青年基金,逻辑驱动的跨操作系统安全机制评价

方法研究,611002272012.1---2014.12;

参与项目:国家高技术研究发展计划(863计划)重大项目,以支撑公众

与企业服务为主的网络操作系统研制2011AA01A2032010.1---2013.12

 

代表性论文著作                                            

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. 50-59, 18-20 June 2013.

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.

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.

程亮, 张阳, 冯登国. 一种基于安全状态转移的简并测试集生成方法软件学报, 2010, 21(3): 539-547

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