Course Introduction:&nbsp; &nbsp; 本课程属于网络信息安全系列课程的专业部分，其教学目的是使学生掌握Internet安全协议的基本概念，学习既有的网络安全协议并初步掌握这些常用安全协议的设计原理，并了解安全协议形式化分析的方法。<br />
&nbsp; &nbsp; 课程内容主要包括安全协议的基本概念、安全协议模型，安全协议的常见缺陷以及安全协议可能受到的攻击方法，常用的安全协议（含Kerberos协议，IPSec协议，SSL协议，PGP协议，SET协议，CSP协议等）以及安全协议分析的形式化方法（包括BAN逻辑方法，基于CSP的分析方法以及串空间分析方法）等三大部分。<br />
&nbsp; &nbsp; 通过该课程的学习，期望学生能深刻地理解网络安全协议的基本安全原理，掌握常见的安全协议设计要素，提高自身的研究、设计和开发能力，并最终在企业系统防御、安全评测等许多领域得到应用。<br />
<div>
    <br />
</div>
Testing Method:笔试
School Year:2022-2023
Semester:Autumn Term
Course number:(2022-2023-1)-IS300-2
Credits:2.0
Course Type:Undergraduate Course
Top-Quality Courses or Not:no
Maximum Number of Students:55
Required Class Hours:32.0