专任教师

您目前的位置: 首页» 师资队伍» 专任教师» 讲师

张倩颖

张倩颖


博士,讲师
首都师范大学信息工程学院 计算机科学与技术系
 
地址:北京市海淀区西三环北路56号219室
邮编:100048
电子邮件:qyzhang@cnu.edu.cn
办公电话:010-68901370-219

 

基本信息


        张倩颖,博士,讲师/硕士生导师,2015年毕业于中国科学院软件研究所,获得工学博士学位,同年加入首都师范大学信息工程学院计算机科学与技术系任讲师。

       研究领域为高可信的安全嵌入式操作系统,研究方向主要包括基于硬件安全架构的嵌入式操作系统构建技术研究,以及嵌入式操作系统及安全敏感代码正确性、安全性、可靠性等属性的形式化分析方法研究。研究成果包括在Science Bulletin、ICICS、SecureComm等重要国际期刊和会议上发表论文30余篇,获得国家授权发明专利5项,国家密码管理局《可信计算 可信密码模块符合性检测规范》1项,参与国家重点研发计划项目、国家自然科学基金重点项目等多项国家级、省部级项目。目前主持国家自然科学基金1项,负责国家重点研发计划子课题1项,主持北京市教委科技计划一般项目1项。现为CCF形式化方法专业委员会委员,担任IJNS、SCN等国际期刊审稿专家。

      研究兴趣:嵌入式操作系统、信息系统安全、形式化验证技术。

 

教育经历


 2008.09 – 2014.12,中国科学院软件研究所,信息安全国家重点实验室
 2004.09 – 2008.6,华中科技大学,计算机科学与技术学院

 

科研项目


1、国家自然科学基金青年科学基金项目,61602325,基于可信执行环境的机器人实时操作系统架构及形式化验证研究,2017/01-2019/12(主持)
2、国家重点研发计划“智能机器人”专项项目子课题,2017YFB1301100,机器人操作系统及开发环境研究与应用验证,2018/01-2020/12(负责)
3、北京市教委科技计划一般项目,KM20190028005,基于TrustZone技术的嵌入式双操作系统架构研究,2019/01-2021/12(主持)
4、北京高等学校高水平人才交叉培养“实培计划”项目,嵌入式系统安全管理程序开发,2018/06-2019/05(主持)
5、国家密码管理局密码检测标准项目,GMJC01-20-17-040-1/0:2018,可信计算 可信密码模块符合性检测规范,2018/07-2019/06(参与)
6、国家自然科学基金面上项目,61472409,云身份管理及认证授权服务技术研究,2015/01-2018/12(参与)
7、北京市未来芯片技术高精尖创新中心科研基金(清华大学),面向智能机器人的柔性传感系统关键技术研究,2017/01-2018/12(参与)
8、北京高等学校高水平人才交叉培养“实培计划”项目,基于二维图片/视频的三维人体体型建模及识别技术研究,2017/06-2018/05(主持)
9、北京高等学校高水平人才交叉培养“实培计划”项目,基于机器学习的人头发三维模型重建技术研究,2017/06-2018/05(主持)
10、国家自然科学基金青年科学基金项目,61402455,移动终端平台中的基础可信服务和高效安全协议研究,2015/01-2017/12(参与)
11、国家自然科学基金重点项目,91118006,可信计算环境测评理论和技术研究,2012/01-2015/12(参与)
12、国家自然科学基金青年科学基金项目,61202414,下一代可信计算平台远程证明理论与方法研究,2013/01-2015/12(参与)
13、中国科学院知识创新工程重要方向项目,ISCAS2009-DR14,网络空间信任技术与支撑平台,2009/09-2011/05(参与)
14、中国科学院知识创新工程领域前沿探索课题,ISCAS2009-GR03,基于属性的可信计算平台关键技术研究,2009/03-2009/08(参与)
15、国家科技支撑计划项目,2008BAH22B06,可信计算密码应用示范工程,2008/01-2010/12(参与)

 

代表论文


[1] 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)
[2] Qianying Zhang, Zhiping Shi. A new way to prevent UKS attacks using hardware security chips. IJ Network Security, 2017, 19(5): 823-831
[3] Qianying Zhang, Shijun Zhao, Yu Qin, Dengguo Feng. Formal analysis of TPM2.0 key management APIs. Chinese Science Bulletin, 2014,59(32):4210-4224
[4] Qianying Zhang, Shijun Zhao, Li Xi, Wei Feng, Dengguo Feng. Mdaak: A flexible and efficient framework for direct anonymous attestation on mobile devices. Information and Communications Security. Springer International Publishing, 2014: 31-48 (CCF-C)
[5] Qianying Zhang, Shijun Zhao, Yu Qin, Dengguo Feng. Improving the security of the HMQV protocol using tamper-proof hardware. International Conference on Security and Privacy in Communication Networks. Springer International Publishing, 2014: 343-361 (CCF-C)
[6] Shijun Zhao, Li Xi, Qianying Zhang, Yu Qin, Dengguo Feng. Security analysis of SM2 key exchange protocol in TPM2.0. Security and Communication Networks, 2015,8(3):383-395 (CCF-C)
[7] Shijun Zhao, Qianying Zhang. sHMQV: An efficient key exchange protocol for power-limited devices. Information Security Practice and Experience. Springer International Publishing, 2015: 154-167
[8] Shijun Zhao, Qianying Zhang. A unified security analysis of two-phase key exchange protocols in TPM 2.0. Trust and Trustworthy Computing. Springer International Publishing, 2015: 40-57
[9] Shijun Zhao, Qianying Zhang, Guangyao Hu, Yu Qin, Dengguo Feng. Providing root of trust for ARM TrustZone using on-chip SRAM. Proceedings of the 4th International Workshop on Trustworthy Embedded Devices. ACM, 2014: 25-36
[10] Shijun Zhao, Qianying Zhang, Yu Qin, Dengguo Feng. Universally composable secure TNC protocol based on IF-T binding to TLS. Proceedings of the 8th International Conference on Network and System Security, 2014: 110-123
[11] 张美玉, 张倩颖*, 孟子琪, 施智平, 关永. 实时嵌入式双操作系统架构研究综述. 电子学报, 2018,46(11):2787-2796
[12] 张倩颖, 冯登国, 赵世军. TCM密钥迁移协议设计及形式化分析. 软件学报, 2015,(09):2396-2417
[13] 张倩颖, 冯登国, 赵世军. 基于安全芯片的平台身份证明方案研究. 通信学报, 2014,35(8):95-106
[14] 张倩颖, 赵世军, 冯伟, 秦宇, 冯登国. 跨平台的可信执行环境模块方案研究. 通信学报, 2014,35(Z2):72-85

 

授权专利


1、施智平,关永,吴爱轩,李黎明,李晓娟,王瑞,邵振洲,张倩颖,吴敏华,一种机械臂运动学形式化分析方法,CN201510233901.X
2、赵世军,初晓博,张倩颖,秦宇,冯伟,一种保护终端配置隐私的可信网络接入方法及系统,CN 201310082307.6
3、冯登国,冯伟,秦宇,初晓博,张倩颖,奚瓅,杨波,一种基于移动设备的可信模块及其可信服务方法,CN201310072567.5
4、冯登国,秦宇,初晓博,张倩颖,冯伟,基于椭圆曲线和双线性对密码体制的直接匿名证明方法,CN201010588240.X
5、冯登国,张立武,汪丹,李昊,张倩颖,一种基于平台身份的信任服务连接方法与信任服务系统,CN201010588248.6
 

行业标准


国家密码行业标准,《可信计算 可信密码模块符合性测试规范》。

学术兼职


中国计算机学会(CCF)形式化专委委员;
IJNS、SCN等国际期刊审稿专家。


主讲课程


本科生课程:《编译原理》、《计算机应用》、《计算机实践1》;
研究生课程:《形式化验证》。


获奖情况
2017年,北京市科学技术二等奖,机器人多核异构实时嵌入式操作系统研发、验证及应用;
2017年,首都师范大学信息工程学院青年教师基本功大赛二等奖。


研究生培养


研究内容:
针对移动互联网和物联网等热点研究领域的关键安全问题,重点研究面向智能终端及嵌入式设备的安全操作系统构建技术,包括:

       (1) 基于ARM TrustZone技术的安全操作系统构建技术研究;

       (2) 基于定理证明的嵌入式操作系统形式化验证技术研究;

       (3) 安全敏感代码可靠性的形式化分析方法研究。

从而以高可信密码算法实现为支撑,操作系统设计、实现、形式化验证为技术路线,为智能终端及物联网设备构建高安全、高可信的操作系统。

招生要求及培养方向:
(1)嵌入式操作系统
    要求喜爱程序设计,具有一定的操作系统和C语言程序开发基础,今后主要从事基于ARM TrustZone技术的安全操作系统构建技术研究。
(2)形式化验证
    要求喜爱逻辑推理,具有一定的操作系统和离散数学基础,今后主要从事基于定理证明的嵌入式操作系统形式化验证技术研究、安全敏感代码可靠性的形式化分析方法研究。

欢迎有志于高安全、高可信的操作系统研究的同学来攻读硕士研究生!

毕业学生:
2015级,孟子琪,专业:通信与信息系统,硕士论文:嵌入式双操作系统实时性关键技术研究,毕业去向:中国人民银行银行卡检测中心。