翟高寿

基本信息

办公电话：010-51684177	电子邮件： gszhai@bjtu.edu.cn
通讯地址：北京交通大学计算机学院	邮编：100044

教育背景

1989年9月至1993年7月在山西大学计算机科学系计算机软件专业攻读本科，获理学学士学位；
1993年9月至1996年7月在山西大学计算机科学系计算机应用专业攻读人工智能方向硕士，获工学硕士学位；
1996年9月至2000年7月在北京交通大学机电学院车辆工程专业攻读智能工程方向博士，获工学博士学位。

工作经历

国家级一流本科课程《操作系统》课程负责人、北京高等学校优秀专业课主讲教师，软件评测国家认可实验室技术负责人。2000年7月至今，在北京交通大学计算机学院任教。2002年晋升副教授，同年被聘为软件学院教学指导与学位委员会委员。2005年11月至2007年5月担任软件教研室副主任。2006年7月至2007年5月担任计算机科学与技术系党支部组织委员。2007年6月起至今，担任计算机科学系副主任（2011年10月前并兼任计算机科学系党支部书记）。2006年1月至5月受国家留学基金委资助，在美国伊利诺伊大学香槟分校计算机科学系做访问学者。2010年11月至2011年10月作为中组部“第十一批博士服务团”成员在西藏自治区工业与信息化厅挂职锻炼，担任厅长助理。2014年1月至2015年1月受国家留学基金委资助，在美国伊利诺伊大学芝加哥分校计算机科学系做访问学者。现主要从事操作系统、系统安全与测试、系统软件等相关方向的科研和教学工作。

研究方向

• 计算机软件理论
• 计算机安全
• 软件工程
• 计算机技术
• 软件工程技术
• 网络与信息安全
• 人工智能
• 人工智能及应用
• 大数据技术与工程

招生专业

• 计算机科学与技术硕士
• 软件工程硕士
• 计算机技术硕士
• 网络与信息安全硕士
• 人工智能硕士
• 大数据技术与工程硕士

科研项目

主持计算机学会基金、基本科研业务费、校级科研基金项目各1项，横向科研课题28项，另外并参加国家重点研发计划项目、973项目、国家自然科学基金重点项目、国家自然科学基金项目、国家教育部博士点基金项目、其它部市项目等纵向课题12项、横向课题49项。主持教改教研项目省部级8项、校级14项、院级3项，另作为主要成员参加教改教研项目省部级4项、校级重点4项、校级6项、院级1项。

部分科研项目如下：
1、高兼容性的U盘只读控制技术方案，计算机学会基金，10万元，2022年1月至2023年8月（主持）
2、Linux安全测试关键问题研究，基本科研业务费，6万元，2009年12月至2012年12月（主持）
3、安全操作系统测评自动化研究，北京交通大学校科技基金，1万元，2006年1月至2008年12月（主持）
4、LKP-TESTS测试用例适配，55.6511万元，2022年11月至2023年11月（主持）
5、工业母机嵌入式实时操作系统SylixOS测试，60万元，2022年6月至2023年8月（主持）
6、REMILL指令（逻辑运算类）语义开发项目，8.24万元，2021年6月至2021年9月（主持）
7、Android-x86测试方法与技术研究，8万元，2016年5月至2016年12月（主持）
8、冬奥赛事跨模态内容生成算法测试，4万元，2022年10月至2024年10月（主持）
9、冬奥赛事全球传播效果提升评估系统测试，6万元，2022年1月至2023年1月（主持）
10、自然场景多相多态耦合过程的仿真计算应用示范软件测试，3.5万元，2021年6月至2022年6月（主持）
11、大宗商品交易市场监管服务模式与资源调配系统测试，3万元，2021年5月至2022年5月（主持）
12、测酒软件开发维护，7.2万元，2015年5月至2016年5月（主持）
13、混搭架构下政务大数据跨域互操作与溯源技术，国家重点研发计划，43万元，2019年12月至2022年11月（排名3/17）
14、信息安全认证认可关键技术研究与应用，国家重点研发计划，120万元，2016年7月至2019年7月（排名7/29）
15、操作系统安全结构研究，国家973项目子课题，10万元，2003年9月至2005年7月（参加）
16、嵌入式实时操作系统SylixOS容器功能测试，50万元，2023年1月至2025年1月（排名第三）
17、嵌入式实时操作系统SylixOS容器云平台测试，48万元，2023年1月至2025年1月（排名第三）
18、工业母机嵌入式实时操作系统测试，45万元，2022年6月至2023年8月（排名第三）
19、冬奥赛事跨模态检索系统测试，4万元，2022年10月至2024年10月（排名第三）
20、冬奥运动员信息多语种资源库测试，5万元，2022年9月至2024年9月（排名第三）
21、服务建模与解决方案构建管理工具测试，11.09万元，2022年1月至2023年1月（排名第二）
22、基于5G冬奥赛事和中国文化多语种全球传播服务平台测试，12万元，2021年12月至2022年11月（排名第三）
23、凯云合作协议--高铁国产嵌入式系统测试环境联合实验室，100万元，2020年12月至2023年12月（排名第三）
24、数控实时操作系统系统测试，18万元，2020年9月至2021年11月（排名第二）
25、数控实时操作系统实时性测试，21.6万元，2020年9月至2021年11月（排名第二）
26、手机通讯软件测试与开发，18万元，2003年1月至2003年12月（排名第二）

教学工作

• 承担操作系统、高级操作系统、面向对象程序设计与C++、软件开发综合训练、专业实习与实训等本科和研究生课程教学及相关课程的教学研究与教改实践工作。
• 指导研究生70名（含全日制50名），其中60名（含全日制45人）已完成论文、毕业就业或深造，竞聘到华为、百度、京东、电信、联通、北京移动、交行、农行、中科院、太极集团、北大方正、人大金仓、北京专利局、Intel、Motorola等单位参加工作。

论文/期刊

发表科研学术论文60余篇、教改教研论文20篇，其中SCI期刊论文1篇、EI期刊论文4篇、ISTP会议论文10篇，计算机学会T3类期刊论文5篇、T2类期刊论文4篇。

部分代表性科研学术论文如下：
[1] 翟高寿，翟瑞霞，刘峰，李红辉，设备驱动故障注入方法的研究与实现，《信息网络安全》（计算机学会T3类），2019，(6):19-27
[2] 翟高寿，刘晨，向勇，基于内核函数监控的Linux系统防护方法的研究与实现，《信息网络安全》（计算机学会T3类），2018，(3):26-38
[3] 王佳，翟高寿，刘峰，李红辉，基于配对函数调用场景的设备驱动漏洞检测，《计算机系统应用》（计算机学会T3类），2019，28(10):35-44
[4] 任艳艳，翟高寿，张俊红，Linux设备驱动程序自动更新及辅助工具，《计算机系统应用》（计算机学会T3类），2018，27(7):211-218
[5] 谭茁，翟高寿，设备驱动非内核化通信架构的研究与实现，《信息网络安全》（计算机学会T3类），2016，（11）：57-65
[6] 刘子桐，翟高寿，罗琼，刘峰，Fault Injection for Linux Device Drivers on x86, MIPS and ARM Architectures，Procedia Computer Science, 2022.09, vol.204, pp.99-107（EI 2022检索[Accession number: 20224813197776]）【EI会议】
[7] 黄杰，翟高寿，针对内核非控制数据攻击的在线检测方法研究，《计算机应用与软件》，2017，34（2）：325-333
[8] Gaoshou Zhai,Tao Guo, Jie Huang, SCIATool: A Tool for Analyzing SELinux Policies Based on Access Control Spaces, Information Flows and CPNs, Lecture Notes in Computer Science Vol.9473 (TRUSTED SYSTEMS, INTRUST 2014), 2015, pp.294-309 (ISTP 2016检索[WOS: 000374047800019] & EI 2016检索[Accession number: 20160801960347])【ISTP会议】
[9] Syeda Huma Jabeen, Gaoshou Zhai, Ruixia Zhai, Fault Simulation and Memory Leak Detection over Custom Kernel Module by Using KEDR, 2017 The 7th International Workshop on Computer Science and Engineering (WCSE 2017), Beijing, China, 25-27 June, 2017, pp. 244-248（EI 2017检索[Accession number: 20173404078439]）【EI会议】
[10] 马培，翟高寿，面向硬件瞬时故障的Linux设备驱动敏感代码的自动分析与检测，《软件》，2015，36（12）：9-15
[11] 王曼丽，翟高寿，基于编译器插件的轻量级内核重构加固方法研究，《软件》，2015，36（3）：pp.1-9
[12] 李天佑，翟高寿，基于三层特权级的操作系统安全体系结构，《网络安全技术与应用》，2014，（4）：pp.184-186
[13] 郭涛，翟高寿，基于有色Petri网的SELinux安全策略自动化分析，《信息安全与技术》，2013，4(11)：pp.35-40
[14] Gaoshou Zhai, Tong Wu, Jing Bai, Tao Guo， Tianyou Li, Algorithms for Automatic Analysis of SELinux Security Policy, International Journal of Security and Its Applications, Vol.7, No.1, 2013, pp.71-84（EI 2013检索[Accession number: 20131916322253]）【EI期刊】
[15] Gaoshou Zhai, Tong Wu, Automatic Analysis Method for SELinux Security Policy, International Journal of Security and Its Applications, Vol.6, No.2, 2012, pp.229-234（EI 2012检索[Accession number: 20123215312981]）【EI期刊】
[16] 翟高寿，曾杰，马妙霞，张良，安全操作系统安全测试自动化的研究，《2007中国计算机大会论文集（下）》，机械工业出版社，2007 中国计算机大会（中国•苏州，2007年10月18日至21日），2010年1月：pp.1318-1328
[17] Gaoshou Zhai, Hanhui Niu, Na Yang, Minli Tian, Chengyu Liu, and Hengsheng Yang, Security Testing for Operating System and Its System Calls, D. Slezak et al. (Eds.): SecTech 2009, CCIS (Communications in Computer and Information Science) Volume 58, pp. 116-123, 2009. Springer-Verlag Berlin Heidelberg 2009（ISTP 2010检索[UT ISI:000273735800015] & EI 2010检索[Accession number: 20104513364445]）【ISTP会议】
[18] Gaoshou Zhai, Yaodong Li, Study and Implementation of SELinux-like Access Control Mechanism Based on Linux. T.-k. Kim, T.-h. Kim, and A. Kiumi (Eds.): SecTech 2008, CCIS(Communications in Computer and Information Science) Volume 29, pp. 50-66, 2009. Springer-Verlag Berlin Heidelberg 2009（ISTP 2010检索[UT ISI:000280079200005] & EI 2010检索[Accession number: 20104513364280]）【ISTP会议】
[19] Gaoshou Zhai, Jie Zeng,  Miaoxia Ma,  Liang Zhang, Implementation and Automatic Testing for Security Enhancement of Linux Based on Least Privilege，International Journal of Security and Its Applications, Vol.2, No.3, 2008, pp.93-100（EI 2012检索[Accession number: 20121214872264]）【EI期刊】
[20] 王瑞昌，翟高寿，安全操作系统隐蔽通道标识方法的研究，《计算机科学》，Vol.34 No.9A，pp.249-250（2007年全国软件与应用学术会议，中国•西安，2007年9月 20日至22日）

专著/译著

[1] 主译《操作系统实用教程：螺旋方法（Operating Systems: A Spiral Approach）》，机械工业出版社，2018年1月
[2] 参编《操作系统原理与实践》（第四章“内存管理”和第六章“操作系统安全”），高等教育出版社，2008年9月
[3] 主编《系统程式》（修订版）（第一章“引言”，第二章“基础系统程序”，第三章“操作系统”），台湾新文京開發出版股份有限公司，2007年1月
[4] 主编《系统程式》（第一章“引言”，第二章“操作系统”），台湾新文京開發出版股份有限公司，2006年1月
[5] 参编《计算机程序设计基础》（第十一章“继承与派生类”和第十二章“多态性与虚函数”），北京交通大学出版社&清华大学出版社，2005年1月
[6] 参编《计算机程序设计基础辅导与实验教程》（第十一章“继承与派生类”、第十二章“多态性与虚函数”、实验八“继承与派生类”、实验九“多态性与虚函数”），北京交通大学出版社&清华大学出版社，2005年2月

专利

一种基于调用指令替换的故障注入方法（202210310616.3；实审公开中）
一种系统主动型USB移动存储设备访问控制方法（202311300816.1；实审公开中）
一种协议之间相互转换的方法（US 11,743,364 B2）
基于CoAP协议与HTTP协议转换的数据包处理方法（ZL 2021 1 0180752.0）

软件著作权

Linux内核源码自动分析软件（2018SR297746）
Linux设备驱动故障注入软件（2022SR0533873）
Linux源码依赖关系分析系统（2022SR0533815）
SylixOS接口测试自动化软件（2022SR0692140）
Linux内核汇编源码分析软件（2021SR0833938）
操作系统兼容性测试软件（2022SR1199315）
基于配对函数的Linux设备驱动漏洞分析系统（2021SRBJ0021）

获奖与荣誉

1、作为课程负责人主持《操作系统》课程建设，评获国家级一流本科课程（2023）、北京高等学校优质本科课程（2020）、北京交通大学线上一流本科课程（2020）、北京交通大学校级优质课程（2015）、北京交通大学课程思政示范课（2020）、北京交通大学课程思政优秀教学团队（2020），本人并被评为北京高等学校优秀专业课主讲教师。
2、指导本科毕业设计（论文）评获北京市普通高校优秀本科毕业设计（论文）1篇（2023）、北京高等学校高水平人才交叉培养“实培计划”成果1项（2021）、北京交通大学优秀本科毕业设计（论文）3篇（2023、2022），本人同时被评为北京市普通高校优秀本科毕业设计（论文）优秀指导教师（2023）、北京交通大学本科毕业设计论文优秀指导教师（2023、2022）。
3、主持教育部高等学校计算机类专业教学指导委员会计算机类系统能力培养试点高校暨操作系统课程改革项目，结题评为优秀（2023）、中期检查评为优秀（2021）。
4、被评为2021年度教育部-华为智能基座“栋梁之师”（2022）、华为云与计算先锋教师（2021）。
5、评获2017年北京市高等教育教学成果奖二等奖1项（排名第6）、2020年北京交通大学教学成果奖一等奖1项（排名第3）、2016年北京交通大学优秀教学成果一等奖1项（排名第5）、2016年北京交通大学优秀教学成果二等奖1项（排名第1）、2008年北京交通大学教学成果二等奖2项（分别排名第1和第2）、2002年北方交通大学教学成果奖二等奖2项（分别排名第1和第2）。
6、评获北京市高等教育学会研究生教育研究分会第十二届优秀高等教育论文评奖活动优秀奖1项（2023；排名第1）。
7、主持教育部-华为产学合作协同育人项目，结题评为优秀（2021），并评获教育部产学合作协同育人项目华为优秀成果奖（2023）。
8、评为或再次认定为北京交通大学优秀主讲教师（最新一次为2024）。
9、评获2006年北京交通大学“智瑾奖”优秀青年教师奖（2007）。
10、评获北京交通大学“华为奖教金”（2022）、华为“智能基座”产教融合协同育人奖教金（2021）。
11、评获2022年度北京交通大学计算机学院科研立项奖二等奖。
12、参加北京交通大学第六届青年教师教学基本功比赛，评获三等奖（2007），同时评获计算机学院青年教师教学基本功比赛一等奖和计算机学院青年教师课程教案设计大赛三等奖。
13、评获计算机学院第二届师德师风先进个人“传道授业”奖（2023）、计算机学院2023年度优秀共产党员。
14、指导学生参加全国大学生系统能力大赛操作系统设计赛，获全国总决赛三等奖1项、初赛优胜奖3项，本人并被评为优秀指导教师2次（2022、2021）。
15、指导学生参加2020 openEuler高校开发者大赛，获三等奖（2021）。
16、指导学生参加北京交通大学第四届“互联网+”大学生创新创业大赛，获二等奖（2018）。
17、指导大学生创新创业训练项目，结题评为北京市级4项、北京交通大学校级6项。
18、被应届毕业生评为北京交通大学“我最敬爱的老师”2次（2018、2006）。

社会兼职

中国计算机学会高级会员
新工科联盟系统能力推进工委会成员
中国电子商会信息工程测试专委会软件测试标准化专家
教育部学位与研究生教育发展中心通讯评议专家
中关村科学城管委会关键核心技术“揭榜挂帅”专项评审专家
北京、天津、河北等省市科技项目评审专家
iSCSi2022科学委员会委员、SERA2009程序委员会委员
《Computers and Security》、《电子学报》、《浙江大学学报》、《西安交通大学学报》等学术期刊及iSCSi2022、ICSAI2012、ICCIT2009、SERA2009等学术会议的审稿专家