一、指导思想

      面向“安全可信、自主可控”软件的国家战略需求，聚焦可信软件“卡脖子”难题，秉承“以学生为中心、以社会需求为导向、以创新求发展”的办学理念，明确卓越人才培养的目标，坚持以科学发展观为指导，坚持“立德树人”的育人方针，以学科建设为抓手，以创新人才培养为目标，立足学校未来应成为世界新学术、新科技、新人才策源地的站位，深化全员全过程全方位育人格局，培养专业素养和实践能力兼备、民族和社会发展使命在肩、具有创新能力、思辨能力、沟通能力、跨领域分析能力和国际视野的软件工程专业高端研究型及复合型人才。

二、培养目标

1. 人才的基本定位：
       培养能从事软件工程理论、技术、应用等学科领域的研究与实践工作，富有实事求是和创新精神，学风严谨，视野开阔，德、智、体、美、劳全面发展，愿为社会作贡献的专门人才。具有扎实的专业基础知识，掌握一门外国语，胜任科研、教学或技术管理等工作。
2. 对毕业生综合素质的要求：
（1）坚持四项基本原则；爱国守法，品行端正，学风严谨，身心健康；掌握马克思列宁主义、毛泽东思想、邓小平理论、“三个代表”重要思想、科学发展观、习近平新时代中国特色社会主义思想基本理论，具有家国情怀和社会使命；

（2）掌握软件工程学科相关的基本知识和核心知识，具备坚实的理论基础和宽广的专业知识，系统的学科领域知识体系，了解先进的学术研究成果；

（3）具有科学严谨和求真务实的创新精神和工作作风，诚实守信，严格遵守科学技术研究学术规范；

（4）具备合作精神和团队意识；

（5）具有独立从事软件研究工作或独立承担专业技术工作的能力；

（6）熟练掌握一门外国语，具备良好的阅读、理解和撰写外语资料能力和进行国际化交流的能力。

3. 人才的培养特色：
       突出“国家战略引领、开放合作协同”的特色。围绕“安全可信、自主可控”的国家战略需求，结合产业需求和国际化师资资源，形成研究生多元化协同培养环境，以逻辑思维与工具实践为抓手，以关键问题的解决能力和科研创新能力为目标，培养学生形成扎实的理论基础与严密的逻辑分析能力、系统级核心软件的研发与验证分析能力和跨领域问题求解能力。

三、二级学科（专业）

1. 软件科学与技术
2. 嵌入式软件与智能系统
3. 密码与网络安全

四、毕业与学位要求

1.学科知识：
1.1 掌握软件工程学科坚实的基础理论和系统的专业知识；
1.2 熟悉软件工程相关领域的前沿工作和文献，了解前沿动态和主要进展。
2.科研能力：
2.1 具有严谨求实的科学态度和学风；
2.2 了解所从事领域内相关学者的研究成果，及取得该成果的科学理论和研究方法；
2.3 具有独立从事科研活动和工程实践的能力；
2.4 具备综合运用掌握的知识、方法和技术解决实际问题的能力。
3.学术创新能力：
3.1 具有创新性思维，有能力开展创新性的科学研究并取得创新性成果；
3.2 具备原有知识的创新性运用能力，或运用原创性的科学思维或创新性的研究方法解决新问题的能力。
4.交流合作能力：
4.1 具有良好的写作能力和表达能力，有能力参与对实验技术和科学问题的讨论；
4.2 具备个人工作与团队协作的能力、人际交往和沟通能力，以及一定的组织管理能力。
5.外语能力：
熟练掌握一门外国语，具备良好的阅读、理解和撰写外语资料能力和进行国际化交流的能力。

五、学习年限与培养方式

1.学习年限
硕士研究生基本学习年限为3年，最长学习年限为5年。

2.培养方式
培养方式：全日制学习。导师负责指导，导师组共同培养。

六、学分要求

1. 硕士研究生修读总学分：26。各类别学分要求如下：

学位公共课（必修）6学分，学位公共课（选修）2学分，学位基础课6学分，学位专业课（必修）6学分（“专业外语”、“论文写作”必须修读），学位专业课（选修）4学分，跨一级学科课程2学分。

2. 补修课程要求：跨学科入学的研究生，应当在导师指导下补修本学科本科专业的有关课程，所得学分记为非学位课程学分，不计入培养方案总学分。

3. 港澳台硕士生可免修思想政治理论课，代之以修读《中国概况》。

4. 国际留学硕士生可免修思想政治理论课、第一外国语，代之以修读《中国概况》或《中国文明导论》和汉语课程等有关课程。以外语为专业教学语言的学科、专业的留学生毕业时，中文能力应当至少达到《国际汉语能力标准》三级水平。

七、创新成果考核

学术型硕士研究生科研成果应达到以下要求，经审核后方可申请学位。

（一）硕士研究生达到下列要求之一方可通过审核（要求第一作者，或者导师为第一作者学生为第二作者，以诚为本赢在信誉9001cc为第一完成单位，所有论文及通讯作者的第一署名单位必须是以诚为本赢在信誉9001cc）：

1.在以下期刊或会议公开发表（含录用）论文1篇：理工科一级学科顶级（英文）期刊；SCIE一区及二区期刊；中国计算机学会C类（英文）、中国密码学会C类（英文）及以上期刊或会议；

2.公开发表的中文权威期刊论文（列表后附）1篇；

3.正式授权发明专利1项（注：每项发明专利仅限一名学生使用一次）；

4.学院审核认可的重要国际学术比赛、国内外创新类竞赛，获得全国级及以上奖项前三名名次（注：参赛单位必须为以诚为本赢在信誉9001cc；一次获奖仅限一名学生使用一次）；

5.参与编写已出版（或已签署出版合同）的学术专著一本，作者排序前三，且本人参编字数达8万字以上。（注：每本学术专著仅限认定一名研究生）

6.其他经导师学位评定分委员会认可的学术成果（如：主导或参与开源项目；参与国家/地方/行业标准制定；对导师的科研项目或成果作出重要贡献）。

（二）学术论文要求符合以下条件之一：

1.已正式发表的论文；

2.已正式录用但尚未取得检索号的论文，须属于SCIE一区及二区检索库收录期刊、或中国计算机学会推荐期刊或会议列表、或中国密码学会推荐期刊或会议列表、或中文权威期刊列表；

3.投稿的学术论文在论文成果认定时间点状态为Minor Revision（即小修）的，可认为符合条件。

（三）港澳台硕士生和国际留学硕士生科研成果要求同上。

附：中文权威期刊列表

1.计算机类三大权威期刊《软件学报》、《计算机学报》、《计算机研究与发展》

2.相关领域权威期刊《电子学报》、《自动化学报》、《数学学报》、《密码学报》、《通信学报》、《智能系统学报》

3.综合性科学技术权威期刊：《科学通报》、《中国科学（系列）》、《高技术通讯》

八、学位论文要求

        硕士生应有不少于1年的时间投入论文撰写，需在导师（导师组）的指导下，进行学位论文相关的科研训练，独立设计和写成某一科研课题。论文选题应面向国际前沿、有创新意义并能解决实际问题。论文撰写时应定期向导师作阶段报告，在导师的指导下不断修改，完善论文。

        硕士生学位论文的基本要求、评阅、盲审、答辩，以及学位申请、学位评议与授予，按软件工程学位分委会及研究生院相关规定执行。

九、必修课程教材

1、网络安全数学基础：
教材：陈恭亮编著，《信息安全数学基础》，清华大学出版社，2006年
代表性教学参考书：《数论讲义》（第二版），柯召、孙琦编著，高等教育出版社, 2001年。《离散数学》，董晓蕾、曹珍富编著，机械工业出版社，2009年。《近世代数引论》（第二版），冯克勤、章璞编著，中国科学技术大学出版社, 2009年
2、计算机体系结构：
教材：《计算机体系结构：量化研究方法（英文版·第6 版） [Computer Architecture:A Quantitative Approach,Fifth Edition]》，作者 Hennessy John，David Patterson。出版社: 机械工业出版社,ISBN：9787111631101, 2019年
3、软件理论基础：
教材：《软件形式化理论基础》（讲义） 陈仪香 ，张敏，卜天明和吴恒洋，2020年
代表性教学参考书：《计算系统的形式语义》陆汝钤 清华大学出版社，2017.《计算理论导论》迈克尔.西普塞 著。段磊、唐常杰等译，机械工业出版社。2015.6（2019.11重印）
4、算法设计与分析：
教材：Jon M. Kleinberg, éva Tardos: Algorithm Design. Addison-Wesley 2006, ISBN 978-0-321-37291-8, pp. 1-838
代表性教学参考书：Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein: Introduction to Algorithms (3. ed.). MIT Press 2009, ISBN 978-0-262-03384-8, pp. 1-1292.Sanjoy Dasgupta, Christos H. Papadimitriou, Umesh V. Vazirani: Algorithms. McGraw-Hill 2008, ISBN 978-0-07-352340-8, pp. 1-320.M. R. Garey, D. S. Johnson: Computers and Intractability. W. H. Freeman Press 1979, ISBN 9780716710455, pp. 1-338.Jon Bentley: Programming Pearls. Addison-Wesley Professional Press 1999, ISBN 9780201657883, pp. 1-256.算法导论 Introduction to Algorithms. Thomas H. Cormem Charles E. Lesiserson著, 殷建平、徐云等译
5、论文写作：
教材：《How to Write and Publish a Scientific Paper》（8th Edition），Barbara Gastel和Robert A. Day编著，Greenwood出版社，2016年。《科技论文写作与发表教程》（第8版），科技论文写作与发表教程编著，电子工业出版社，2018年。

代表性教学参考书：《The Elements of Style》，William Strunk编著，1918年。《如何征服同行审稿人》，作者：吴子祥。出版社: 第四军医大学出版社。

6、专业英语：
教材：《计算机专业英语》（第四版），刘艺，王春生等编著， 机械工业出版社，2013
7、智能系统分析与验证：
教材：《Principles of Model Checking》, by Christel Baier and Joost-Pieter Katoen, MIT Press. 《Handbook of Model Checking》, by Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith and Roderick Bloem, Springer. 《Model Checking (Second Edition)》, by Edmund M. Clarke, Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Veith, MIT Press. 《Handbook of Satisfiability》, by A. Biere, M. Heule, H. Van Maaren, T. Walsh, ISO Press.

8、嵌入式操作系统：
教材：《嵌入式操作系统》（版次1），廖勇，杨霞编著（主编），高等教育出版社出版社，2017年
代表性教学参考书：《嵌入式实时操作系统uc/OS-III》，(美)拉伯罗斯著，北京航空航天大学出版社《航天高可靠嵌入式实时操作系统原理与技术》，程胜、蔡铭著，中国宇航出版社《嵌入式实时操作系统μCOS-Ⅱ》，(美)Jean J.Labrosse,邵贝贝著，北京航天航空大学出版社《嵌入式实时操作系统的多线程计算：基于ThreadX和ARM》，(美)拉姆耶(Lamie,E.L.),张炯著，北京航天航空大学出版社《嵌入式操作系统风云录：历史演进与物联网未来》，何小庆著，机械工业出版社
9、软件架构设计：
教材：Software Architecture in Practice (3rd Edition)，Len Bass, Paul Clements, Rick Kazman, Addison-Wesley Professional, 2012.
代表性教学参考书：大型网站技术架构 核心原理与案例分析,李智慧著，电子工业出版社，2013设计原本(The design of design)，Frederic Brooks, 高博等译，机械工业出版社，2013
10、有限域与编码：
教材：《代数与通信》（第一版），冯克勤，刘凤梅编著， 高等教育出版社，2005
代表性教学参考书：《编码理论基础》（第一版），陈鲁生，沈世镒编著，高等教育出版社，2005
11、进程代数：
教材：C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985
代表性教学参考书：[1] A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1997[2] A. W. Roscoe. Understanding Concurrent Systems (Texts in Computer Science), Springer, 2010
12、密码学：
教材：《密码学原理与实践》(第3版)，作者: (加)斯廷森|译者:冯登国， 电子工出版社，2016
代表性教学参考书：《Introduction to modern cryptography》，作者: Katz J, Lindell Y.， Chapman and Hall/CRC, 2014.《严肃的密码学：实用现代加密术》，作者:（瑞士）让-菲力浦·奥马松）|译者:陈华瑾、巩道福、俞少华等，电子工业出版社，2021《密码学中的可证明安全性》，作者：杨波，清华大学出版社，2017
13、软硬件协同设计：
教材： 《软硬件协同设计》陈仪香、陈彦辉编著，机械工业出版社，2021年
代表性教学参考书：《人工智能基础》（第一版），科学出版社著，科学出版社，2000年《嵌入式系统软硬件协同设计实战指南》（第一版），陆佳华，江舟，马岷编著，机械工业出版社，2013年《Hardware/Software Co-Design: Principles and Practice》（第一版），Jorgen Staunstrup, Wayne Wolf编著，Kluwer Academic Publishers， 1997年
14、运筹学与最优化方法：
教材：《凸优化》，Stephen Boyd) Lieven Vandenberghe编著，王书宁、黄晓霖翻译，清华大学出版社。
代表性教学参考书：《运筹学》（第四版），运筹学教材编写组，清华大学出版社。
15、人工智能基础：
教材：自编讲义
代表性教学参考书：《Artificial Intelligence：A Modern Approach》（3nd Edition），Stuart Russell and Peter Norvig，Prentice Hall，2012.《人工智能概论》通识课版，廉师友，清华大学出版社，2020《机器学习》周志华.清华大学出版社, 2016.《Deep learning》，Ian Goodfellow, Yoshua Bengio and Aaron Courville，2016
16、密码设计与分析：
教材：《分组密码的攻击方法与实例分析》，李超，孙兵，李瑞林编著，科学出版社，2020年
代表性教学参考书：《分组密码的设计与分析》（第2版），吴文玲，冯登国，张文涛编著，清华大学出版社，2009年
17、科学计算导论：
教材：自编教材
代表性教学参考书：第三种科学方法：计算机时代的科学计算.石钟慈著，清华大学出版社，院士科普书系，2000年科学计算导论（第 2 版）（英文影印版）.M.T. Heath 著，清华大学出版社：McGraw-Hill，2001年数值计算引论.白峰杉，高等教育出版社，2010年
18、代数形式化方法：
代表性教学参考书：All About Maude - A High-Performance Logical Framework (How to Specify, Program and Verify Systems in Rewriting Logic) Authors: Manuel Clavel,  Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott ISBN: 978-3-540-71940-3 (Print)  978-3-540-71999-1 (Online)Handbook of Model Checking. Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem. ISBN-13: 978-3319105741. ISBN-10: 3319105744
19、程序验证方法：
教材：Krzysztof Apt, Frank S. de Boer, Ernst-Rüdiger Olderog. Verification of Sequential and Concurrent Programs (Texts in Computer science), 3rd Edition, Springer, 2010
代表性教学参考书：[1] David Gries. The Science of Programming. Texts and Monographs in Computer Science, Springer 1981[2] Willem-Paul de Roever, Frank de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, and Job Zwiers. Concurrency Verification: Introduction to Compositional and Noncompositional Methods, Cambridge University Press, 2001
20、网络安全协议：
代表性教学参考书：Douglas Jacobson著, 网络安全基础——网络攻防、协议与安全，电子工业出版社。皮特·瓦厄（Peter Waher）物联网实战指南，机械工业出版社。尼尔斯·弗格森（Niels Ferguson） 布鲁斯·施奈尔（Bruce Schneier）, 密码工程：原理与应用,机械工业出版社。
21、机器学习：
教材：《模式识别与机器学习》，孙仕亮、赵静著，清华大学出版社，2020年
22、软件分析与验证前沿：
教材：Static Program Analysis, Anders Møller and Michael I. Schwartzbach, 2020Principles of Program Analysis. Nielson, Flemming, Nielson, Hanne R., Hankin, Chris. 1999.Handbook of Model Checking. Edmund M. ClarkeThomas A. HenzingerHelmut VeithRoderick Bloem. 2018
23、可信软件开发方法：
教材：Jean-Raymond Abrial. Modeling in Event-B: System and Software Engineering. Cambridge University Press.2010. John Derrick, Eerke A. Boiten. Refinement in Z and Object-Z (2nd ed.). Springer. 2014.
24、大数据技术及应用：
教材：Designing Data-Intensive Applications, 1st Edition, Martin Kleppmann, O'Reilly Media, Inc. 2017.

代表性教学参考书：Cloud Computing for Science and Engineering, 1st Edition, Ian Foster and Dennis B. Gannon, The MIT Press, 2017. Hadoop: The Definitive Guide, 4th Edition, Tom White, O’Reilly, 2015. Spark: The Definitive Guide, 1st Edition, Bill Chambers, Matei Zaharia, O’Reilly, 2018. Kafka: The Definitive Guide, 1st Edition, Neha Narkhede, Gwen Shapira and Todd Palino, O’Reilly, 2017.
25、模型驱动软件开发：
教材：Géron, Aurélien. Hands-On Machine Learning with Scikit-Learn, Keras, and TensorFlow, 2nd Edition ,2019. Flasiński, Mariusz. "Introduction to Artificial Intelligence." Springer ,2016. Marco Brambilla, Jordi Cabot,Model-driven software engineering in practice, second edition.
26、系统软件安全技术：
教材：孙玉霞、翁健、李哲涛、许颖媚、罗亮，软件安全技术，清华大学出版社，2022。

代表性教学参考书：Conference: Security and Privacy；Conference: Computer Aided Verification；Conference: USENIX Security Symposium；Gary McGraw, Software Security: Build Security In, Addison-Wesley Professional, 2006.

十、基本文献阅读书目

[1]    Christel Baier and Joost-Pieter Katoen. Principles of Model Checking. The MIT Press. 2008.

[2]    S. Shalev-Shwartz and S. Ben-David. Understanding Machine Learning: From Theory to Algorithms. Cambridge: Cambridge University Press, 2014.

[3]    刘鹏. 云计算(第三版). 北京: 电子工业出版社, 2015.

[4]    Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem. Handbook of Model Checking, Springer. 

[5]    Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein. Introduction to Algorithms, Third Edition, MIT Press, 2009

[6]    R.柯郎, H.罗宾著, 左平, 张饴慈译. What is Mathematics: 对思想和方法的基本研究, Second Edition, 复旦大学出版社, 2012. 

[7]    Geoff Hulten. Building Intelligent Systems: A Guide to Machine Learning Engineering. 2018. 

[8]    Michael Sipser. Introduction to the theory of computation, Second Edition.

[9]    Kevin P. Murphy. Machine Learning: A Probabilistic Perspective. The MIT Press, 2012. 

[10]   Marc Peter Deisenroth，A. Aldo Faisal，Cheng Soon Ong. MATHEMATICS FOR MACHINE LEARNING, London: Cambridge University Press, 2020 

[11]   M. A. Nielsen, I. L. Chuang, Quantum Computation and Quantum Information, London: Cambridge University Press, 2000 

[12]   Joachim von zur Gathen, Jurgen Gerhard. Modern Computer Algebra, 3rd edition, Cambridge University Press. 2013.

[13]   吴文俊. 数学机械化. 科学出版社. 2003. 

[14]   杨路, 夏壁灿. 不等式机器证明与自动发现. 科学出版社. 2008. 

[15]   Nicholas J. Higham. Accuracy and Stability of Numerical Algorithms. SIAM. 2002. 

[16]   付晓东, 邹平. QoS感知的Web服务选择. 科学出版社, 2014.

[17]   陆汝钤. 计算系统的形式语义. 北京：清华大学出版社，2017

[18]   约翰 J.克雷格（John Craig） 著，贠超 译，机器人学导论（第4版），机械工业出版社，2018 

[19]   约翰·L.亨尼斯（John L.Hennessy） 著 ，计算机体系结构：量化研究方法（英文版·原书第6版），机械工业出版社，2019

[20]   兰德尔 E.布莱恩特（Randal E.·Bryant） 著，龚奕利，贺莲 译，深入理解计算机系统（原书第3版），机械工业出版社，2016

[21]   Richard，Szeliski，艾海舟 著，艾海舟，兴军亮 等 译，计算机视觉：算法与应用，清华大学出版社，2011

[22]   Donald Hearn（D·赫恩） 等，M.Pauline Baker（M.P.巴克），Warren，R.Carithers（W.R.卡里瑟斯） 著，蔡士杰，杨若瑜 译，计算机图形学（第4版） ，电子工业出版社，2014

[23]   穆罕默德 S. 奥巴达特（Mohammad Obaidat） [印度] 苏迪普 著，吴帆 译，无线传感器网络原理，机械工业出版社，2017

[24]   史蒂芬·卢奇（Stephen Lucci），丹尼·科佩克（Danny Kopec） 著 ，人工智能（第2版） ，人民邮件出版社，2018

[25]   曹珍富. Rivest-Shamir-Adlen体制:公钥密码学: public cryptography. 哈尔滨工业大学出版社, 2016.

[26]   冯登国. 大数据安全与隐私保护. 清华大学出版，2018.

[27]   William Stallings. 密码编码学与网络安全：原理与实践（第七版）. 电子工业出版社, 2017.

[28]   林晓东. 车载ad hoc网络的安全性与隐私保护. 机械工业出版社, 2016.

[29]   方滨兴. 人工智能安全. 电子工业出版社, 2020.

[30]   William, Stallings, Lawrie, Brown. 计算机安全：原理与实践（第四版）. 机械工业出版社, 2019.

[31]   杨义先, 钮心忻. 安全通论――刷新网络空间安全观. 电子工业出版社, 2018.

[32]   Pascal Ackerman. 工业控制系统安全. 机械工业出版社, 2020.

[33]   Brian Russell, Drew Van Duren. 物联网安全. 机械工业出版社, 2018.

[34]   Jonathan Katz, Yehuda Lindell, Introduction to Modern Cryptography (Second Edition), Chapman and Hall/CRC, 2015.

课程设置

已制定最少修读总学分：26

培养环节