Internet安全协议与分析
发布时间：2022-01-19
课程介绍： 本课程属于网络信息安全系列课程的专业部分，其教学目的是使学生掌握Internet安全协议的基本概念，学习既有的网络安全协议并初步掌握这些常用安全协议的设计原理，并了解安全协议形式化分析的方法。<br />
课程内容主要包括安全协议的基本概念、安全协议模型，安全协议的常见缺陷以及安全协议可能受到的攻击方法，常用的安全协议（含Kerberos协议，IPSec协议，SSL协议，PGP协议，SET协议，CSP协议等）以及安全协议分析的形式化方法（包括BAN逻辑方法，基于CSP的分析方法以及串空间分析方法）等三大部分。<br />
通过该课程的学习，期望学生能深刻地理解网络安全协议的基本安全原理，掌握常见的安全协议设计要素，提高自身的研究、设计和开发能力，并最终在企业系统防御、安全评测等许多领域得到应用。<br />
<div>
<br />
</div>
考试形式：笔试
开课学年：2021-2022
开课学期：秋学期
课程号：(2021-2022-1)-IS300-2
学分：2.0
课程类型：本科生课程
是否精品课程：否
选课人数：75
课时：32.0