張倩穎(首都師範大學信息工程學院講師)

張倩穎，女，博士，首都師範大學信息工程學院講師，碩士生導師。

基本介紹

• 中文名：張倩穎
• 畢業院校：中國科學院
• 學位/學歷：博士
• 職業：教師
• 專業方向：基於硬體安全架構的嵌入式作業系統構建技術
• 任職院校：首都師範大學信息工程學院
• 職稱：講師

個人經歷

2015年畢業於中國科學院軟體研究所，獲得計算機科學與技術工學博士學位，同年加入首都師範大學信息工程學院。

現為CCF形式化方法專業委員會委員，SCN、IJNS等國際期刊審稿專家。

教育經歷

2008.09 – 2014.12，中國科學院軟體研究所，信息安全國家重點實驗室，工學博士

2004.09 – 2008.06，華中科技大學，計算機科學與技術學院，工學學士

研究方向

研究領域為高可信的安全嵌入式作業系統，研究方向包括基於硬體安全架構的嵌入式作業系統構建技術，以及嵌入式作業系統及安全敏感代碼正確性、安全性、可靠性等屬性的形式化分析方法。

學術成果

研究成果包括在CCS、RAID、Science Bulletin等國際頂級學術會議和國際期刊發表論文30餘篇，獲得國家授權發明專利5項，國家密碼行業標準1項。目前主持國家自然科學基金1項，負責國家重點研發計畫子課題1項，主持北京市教委項目1項。

科研項目

1、[主持]國家自然科學基金青年項目，基於可信執行環境的機器人實時作業系統架構及形式化驗證研究

2、[負責]國家重點研發計畫“智慧型機器人”專項項目子課題，機器人作業系統及開發環境研究與套用驗證

3、[主持]北京市教委科技計畫一般項目，基於TrustZone技術的嵌入式雙作業系統架構研究

4、[參與]國家密碼管理局密碼檢測標準項目，可信計算 可信密碼模組符合性檢測規範

5、[參與]國家自然科學基金重點項目，可信計算環境測評理論和技術研究

6、[主持]北京高等學校高水平人才交叉培養“實培計畫”項目，Linux安全管理系統界面開發

7、[主持]北京高等學校高水平人才交叉培養“實培計畫”項目，基於2D視頻重建3D人體運動姿態及識別技術研究

8、[主持]北京高等學校高水平人才交叉培養“實培計畫”項目，嵌入式系統安全管理程式開發

9、[主持]北京高等學校高水平人才交叉培養“實培計畫”項目，基於二維圖片/視頻的三維人體體型建模及識別技術研究

10、[主持]北京高等學校高水平人才交叉培養“實培計畫”項目，基於機器學習的人頭髮三維模型重建技術研究

代表論文

[1]Shijun Zhao, Qianying Zhang*, Qin Yu, Wei Feng, Dengguo Feng. SecTEE: A Software-based Approach to Secure Enclave Architecture Using TEE. In Proceedings of the 26th ACM Conference on Computer and Communications Security (CCS), 2019 (CCF-A)

[2]Shijun Zhao, Qianying Zhang*, Yu Qin, Wei Feng, Zhining Lv, Dengguo Feng. Minimal kernel: An operating system architecture for TEE to resist board level physical attacks. In Proceedings of the 22nd International Symposium on Research in Attacks, Intrusions and Defenses (RAID), 2019 (CCF-B)

[3]Dongxu Ji, Qianying Zhang*, Shijun Zhao, Zhiping Shi, Yong Guan. MicroTEE：Designing TEE OS based on the microkernel architecture. In Proceedings of the 18th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 2019 (CCF-C, Best Trust Track Paper Award)

[4]Meiyu Zhang, Qianying Zhang*, Shijun Zhao, Zhiping Shi, Yong Guan. SoftME: A software-based memory protection approach for TEE system to resist physical attacks. Security and Communication Networks, 2019 (CCF-C)

[5]Qianying Zhang, Zhiping Shi. A new way to prevent UKS attacks using hardware security chips. International Journal of Network Security

[6]Qianying Zhang, Shijun Zhao, Yu Qin, Dengguo Feng. Formal analysis of TPM2.0 key management APIs. Chinese Science Bulletin

[7]Qianying Zhang, Shijun Zhao, Li Xi, Wei Feng, Dengguo Feng. Mdaak: A flexible and efficient framework for direct anonymous attestation on mobile devices. In Proceedings of the 10th International Conference on Information and Communications Security (ICICS)

[8]Qianying Zhang, Shijun Zhao, Yu Qin, Dengguo Feng. Improving the security of the HMQV protocol using tamper-proof hardware. In Proceedings of the 10th International Conference on Security and Privacy in Communication Networks (SecureComm)

[9]張美玉, 張倩穎*, 孟子琪, 施智平, 關永. 實時嵌入式雙作業系統架構研究綜述. 電子學報

[10]張倩穎, 馮登國, 趙世軍. TCM密鑰遷移協定設計及形式化分析. 軟體學報

[11]張倩穎, 馮登國, 趙世軍. 基於安全晶片的平台身份證明方案研究. 通信學報

[12]張倩穎, 趙世軍, 馮偉, 秦宇, 馮登國. 跨平台的可信執行環境模組方案研究. 通信學報

授權專利

1、施智平，關永，吳愛軒，李黎明，李曉娟，王瑞，邵振洲，張倩穎，吳敏華，一種機械臂運動學形式化分析方法

2、趙世軍，初曉博，張倩穎，秦宇，馮偉，一種保護終端配置隱私的可信網路接入方法及系統

3、馮登國，馮偉，秦宇，初曉博，張倩穎，奚瓅，楊波，一種基於移動設備的可信模組及其可信服務方法

4、馮登國，秦宇，初曉博，張倩穎，馮偉，基於橢圓曲線和雙線性對密碼體制的直接匿名證明方法

5、馮登國，張立武，汪丹，李昊，張倩穎，一種基於平台身份的信任服務連線方法與信任服務系統

行業標準

國家密碼行業標準，《可信計算 可信密碼模組符合性測試規範》。

主講課程

本科生課程：編譯原理、計算機套用、計算機實踐1；

研究生課程：形式化驗證。

榮譽獎項

2019年，北京市高等教育學會計算機教學精彩片段交流一等獎；

2017年，北京市科學技術二等獎，機器人多核異構實時嵌入式作業系統研發、驗證及套用；

2017年，首都師範大學信息工程學院青年教師基本功大賽二等獎。