教师详细介绍


杨霞 副教授
学位：博士
任职：
研究方向：软件形式化理论与方法、区块链及其形式化验证、高可信嵌入式操作系统、嵌入式虚拟化技术、
联系方式：xyang@uestc.edu.cn


个人简介
副教授，博士后。毕业于电子科技大学 计算机科学与技术专业。现任中国电子集团第30研究所的安全操作系统研究方面的特聘专家。具体负责电子科技大学-四川长虹联合实验室、电子科技大学-航天科工二院联合实验室的课题和管理工作。2013年在美国Idaho大学的“美国国家安全实验室”访问****一年，2014年开始与美国耶鲁大学合作，进行操作系统形式化验证方法和理论的研究。近5年参与国防预研3项、主研国家核高基课题2项、国家863项目2项、广东省产学研项目1项、国家自然科学基金项目1项，还主持微软亚洲研究院、中电30所、中电29所、华为、总装51所、四川长虹、航天二院等多家单位的10多项横向课题。在各种国内外高级期刊或国际学术会议上发表SCI、EI检索的学术论文30多篇，申请软件发明专利17项，其中获得授权4项。




科研情况


1. 近年来主要科研情况：


u 2000--2005，主研国防科工委“十五”预研项目“高可信嵌入式实时操作系统CRT-OSII”项目；
u 2007--2008，主持微软亚洲研究院的项目“高可靠嵌入式操作系统体系结构研究”，；
u 2006--2008，主研国家“八六三”高技术研究发展计划项目“实时可信服务软件的构件化研究”；
u 2009-2011，主研国家科技重大专项子课题（核高基）项目“数字电视嵌入式软件开发平台”；
u 2012-2014，电子科技大学-四川长虹联合实验室项目“智能终端安全保障系统研发”，;
u 2011--2013，参与国家自然科学基金项目“安全关键和能量有效的实时任务调度技术研究”；
u 2014年-2015，为华为公司设计并实现了一套安全路由器解决方案，提高了华为路由器设备的安全性；
u 2012--2014，在“中央高校基金”项目的支持下，研究并完成了MILS架构下多级安全应用的信息流控制模型和机制；
u 2012--2014，主持“国家科技重大专项子课题（核高基）”项目，完成了面向移动终端的操作系统安全核心软件模块的研制及软件系统测试；
u 2014--2015，主持中国电子集团 30 所“基于嵌入式 Linux的安全技术研究”项目，该成果已应用于某设备中；
u 2015—2017，主持电子科技大学—航天二院联合实验室项目“嵌入式安全操作系统相关技术研究”；
u 2016—2017，主持电子科技大学—航天二院联合实验室项目“嵌入式虚拟化技术研究”，主要研究嵌入式的硬件虚拟化技术；
u 2015-2017，电子科技大学“一校一带”项目“采用多域方法保护移动终端设备的用户隐私”
u 2015-2017，中央高校基金“采用定理证明验证多内核系统可信属性的方法研究”
u 2017-至今，主持“十三五”全军共用信息系统装备预先研究项目”****”；
u 2017-至今，主持四川省科技厅重点研发项目“移动终端安全操作系统”；
u 2017-至今，主持国防重点实验室项目“嵌入式操作系统形式化验证方法研究”；
u 2016-至今，研究面向以太坊区块链平台的智能合约安全验证方法。




2. 2017年参与的主要学术活动情况：




ü 被邀请参加第三届全球区块链大会，并作为大会演讲嘉宾主讲“Smart contract and formal verification”主题报告；http://www.blockchainlabs.org/summit2017/index_cn.html http://toutiao.manqian.cn/wz_1h4PFOZ7B9.html；
ü 接受区块链风云榜的采访。https://v.qq.com/x/page/z0563soxfrw.html








3. 发表的主要学术论文情况：


[1] Xia Yang, Zheng Yang , Haiyong Sun , Formal verification for Ethereum smart contract using Coq，International conference of ICICS2018，已投
[2] Xia Yang, Jim Alves-Foss. The formalization and Verification the MAC-policy for SELinux , Computers & Security, 已投
[3] Xia Yang, Zheng Yang and Haiyong Sun, Formalizing and Verifying GP TEE TA Interface Specification using Coq，International conference of CTCIS2017，2017.9
[4] Xia Yang, Shichao Liao， Gemini: A lightweight virtualization architecture for protecting privacy and security of smartphone，International conference of ICESS2016, Chengdu, 2016.8. [EI收录]
[5] Xia Yang, Nan Sang, Jim Alves-Foss, Improving the Boot Time of the Android OS. Computer, 2014.7, [SCI收录,IF 1.48]
[6] Xia Yang, Peng Shi, Xianzhong Zhang, Jim Alves-Foss, A Fast Boot, A Fast Boot, Fast Shutdown Technique for Android OS Devices，Computer, 49(7), pp 62-68, 2016/7. [SCI收录,IF 1.48]
[7] Xia Yang, Jim Alves-Foss. Security Policy Refinement: High-Level Specification to Low-level Implementation. International conference of PASSAT 2013 : Privacy, Security, Risk and Trust , Washington DC of USA. [EI收录]
[8] Xia Yang, Trust-E- A Trusted Embedded Operating System Based on the ARM Trustzone, International conference of ATC2014, [EI收录].
[9] Xia Yang, Xiangyu Zhao, Jian Lei, Guangze Xiong.A Trusted Architecture for ESCS with MLS. International Conference on Embedded Software and Systems (ICESS), 2008, 44~49 [EI收录]
[10] Xia Yang, Jian Lei, Guang-Ze Xiong.Inter-partition Information Flow Control for High-Assurance Embedded Systems. Proceedings of the 2009 World Congress on Computer Science and Information Engineering, Los Angeles USA. 2009, 456~461,[EI收录]
[11] Jing Luo, Xia Yang. Design and Implementation of Security OS based on the TrustZone, IEEE international conference of ICEMI 2013, [EI收录]
[12] 杨霞，杨姗等，针对RTOS的轻量级强制访问控制技术的研究与实现，计算机科学，已录用
[13] 杨霞，多Android系统中设备虚拟化技术的研究与实现，电子科技大学学报，已录用，[EI 期刊]
[14] 杨霞，基于TrustZone的指纹识别安全技术研究与实现,计算机科学，43(7)， pp 147-152， 2016/7
[15] 杨霞，采用数字签名技术的可信启动方法研究，电子科技大学学报，03期， pp 448-452， 2016/5
[16] 杨霞，采用容器技术的多Android系统的研究与实现，小型微型计算机系统， 07期， pp 1422-1427， 2016/7/15
[17] 杨霞，基于SELinux的三权分离研究，电子科技大学学报，06期， pp 958-963， 2016/11/30
[18] 杨霞，基于MILS架构的高可信嵌入式操作系统研究，全国抗恶劣环境计算机第25届学术年会， 2015.8
[19] 杨霞，针对嵌入式Linux的设备可信验证技术，计算机应用研究，已录用，[中文核心期刊]
[20]杨霞, 桑楠, 雷剑, 等. 嵌入式高可信架构中基于静态模型的调度研究[J]. 航空学报, 2009, 30(012): 2387-2394. [EI收录]
[21] 杨霞, 熊光泽, 桑楠, 等. Hades 高可信架构中固定延迟分区实时调度[J]. 计算机辅助设计与图形学学报, 2009, 21(11): 1682-1688.
[22] 杨霞, 雷剑, 熊光泽. 支持 MLS 的多层次嵌入式高可信软件架构[J]. 电子科技大学学报, 2009, 38(6): 1001-1005.
[23] 杨霞，熊光泽，袁继敏，刘锦德.安全关键系统中防危策略的设计技术研究. 电子科技大学学报, 2006, 35(4): 706~709
[24] Jian Lei, Xia Yang, Guangze Xiong VMM-based real-time embedded systems. International Conference on Embedded Software and Systems (ICESS), 2008, [EI收录]
[25]ZHONG-XIANG CHEN, JIN-YU ZHAN, ZONG-BO HAO. A New Static Pointer Dereference Detection Method Based on Finite-StateMachine. IEEE ICACIA 2010:392-397. [EI收录]
[26] Zhang Ning, Chunyu Zhang, Yang Xia, Guangze Xiong A Hybrid Distributed Garbage Collection of Active Objects. International Conference on Embedded Software and Systems (ICESS), 2008, [EI收录]
[27] 陈志平，雷航，杨霞，李欢嵌入式安全操作系统的研究和实现.计算机工程，2007

4. 杨霞近几年申请专利情况：


(1) 杨霞 等，一种基于Android的操作系统快速启动方法，2014.1.22，中国，ZL 2011 1 **.0，授权日期：2014年6月，已授权。
(2)杨霞 等，一种基于SEAndroid平台的应用程序动态安全管理方法及系统，中国，0.2，授权日期：2016年3月30日，已授权。
(3) 杨霞 等，一种缩短安卓操作系统启动时间的设置方法，中国，9.6。
(4) 杨霞 等，一种智能终端安全系统及安全存储方法，中国，4.3。
(5) 杨霞 等，一种智能终端安全支付系统及方法，中国，2.4。
(6) 杨霞 等，一种嵌入式系统的安全启动方法，中国，9.2. 已授权
(7) 杨霞 等，一种应用程序完整性验证方法，中国，5.9，已授权。
(8) 杨霞 等，一种智能终端的安全指纹识别方法，中国，6.X。
(9) 杨霞 等，一种热插拔设备的可信验证方法，中国，0.6。
(10)杨霞 等，基于 Linux 容器技术的多 Android 系统之间切换方法，中国，5.7。
(11) 杨霞 等，基于Linux容器的设备虚拟化系统及方法，中国，4.9。
(12) 杨霞 等，一种多Android系统的容器自动创建及其启动方法，中国，9.X
(13)杨霞 等，基于Linux容器的设备虚拟化系统及方法 ，中国，4.
(14)杨霞 等，一种基于多操作系统的WiFi设备复用方法及系统，中国，5.7
(15)杨霞 等，一种跨域访问服务的方法与系统，中国，2.1
(16) 杨霞 等，一种面向实时操作系统的强制访问控制方法及装置，中国，8.5
(17)杨霞 等，一种基于Xen的VCPU多核实时调度算法，8.X




教学情况
2004-2010，承担“嵌入式系统及应用”课程的教学工作，
2011-至今，承担“操作系统基础”课程的教学工作，
主编教材：《嵌入式操作系统》，《嵌入式系统原理及应用开发技术（第2版）》，《嵌入式系统原理及应用开发技术（第2版）》
发表教改论文3篇
作为骨干人员参与了“嵌入式系统及应用” 课程的国家精品课程建设。


获奖情况
科研项目“基于ARM的嵌入式系统应用开发平台的研究”于2008年获得云南省科技进步三等奖。
“嵌入式系统及应用”课程的国家精品课程。
研究成果连续三年在军口某会议中获得“优秀论文”。