原标题：BGPLUS科研荟萃| 帝国理工学院 |软件工程：数据系统网络安全及软件可靠性研究

课题名称

= 你的手机电脑真的安全吗——数据系统的网络安全及软件可靠性研究 =

课题背景

当今社会越来越依赖于软件：我们的运输系统、医院、银行、政府以及联网计算机都离不开软件的支持。因此，软件的安全性和可靠性至关重要。在本课程中，学生将学习软件安全性和可靠性的基础知识，包括网络攻击和防御的主要类型以及软件错误的主要类型以及防止它们的技术。本课程还将以实践为重点，向学生介绍各地区流行的工具，例如模糊器和符号执行器引擎。最终课纲可能会根据学生的背景和授课的进度调整。

课题内容

本课题主要向学生介绍提高软件系统可靠性的技术和工具，概述软件可靠性技术的主要类型，并讨论它们各自的优缺点。与此同时，还将详细介绍这些技术和相关工具的选择，重点是研究和实践中的最新方向。课程将涵盖：1）软件错误和安全漏洞简介；2）软件可靠性的基本知识；3）网络安全的基本知识；4）覆盖标准；5）黑盒和灰盒模糊测试；6）动态符号执行。要学习本课程，学生应该具有基本的编程知识。理想情况下，学生需知道如何使用静态类型的编程语言（例如C，C ++或Java）进行编程；因为大多情况下，C语言是编写先决安全性代码的关键。如果学生掌握动态编程语言（例如Python和JavaScript）也是可以的，教授会在课堂尚简要讲解相应疑点。

适合人群

● 对软件工程、计算机算法、软件开发专业感兴趣的本科生

● 修读软件工程、软件开发、计算机等专业，以及未来希望在计算机科学、软件工程与开发等领域从业的学生

● 具备编程、线性代数、以及微积分的理工科学生优先，

● 学生需要有编程能力，至少python，建议C/C++

教授介绍

= Cristian Cadar 终身教授 =

帝国理工学院计算机系终身教授，英国帝国理工学院SRG（Software Reliability Group）小组负责人，2019BCS Roger Needham获奖者，英国帝国理工学院高级研究员，斯坦福大学计算机科学博士，专业期刊论文被引用7387次。

时间安排

10周在线小组科研（总计72课时）

课时包含：导师课程36课时+助教课程30课时+写作课程6课时，不包含先修课课时

开课时间：2021.3.6-5.16开课

项目收获

● 网申推荐信

● 学术评估报告

● 项目成绩单

● 论文成果

*完成研究后满足学术条件和教授要求可获得推荐信，教授将严格按照学生实际表现对学生进行客观评价。返回搜狐，查看更多

责任编辑：