安全协议是建立在密码算法基础上的一种高互通协议，它运行在计算机网络或分布式系统中，为安全需求的各方提供一系列步骤，借助于密码算法来达到密钥分发、身份认证以及安全地实现网络通信或电子交易等目的。
对安全协议的研究成果涉及面广、难度大、内容丰富，且目前正处于发展阶段。本课程只能择其重点介绍，广而不能精。为了学生能较全面地掌握和运用这些基础理论与方法，除了讲授其中的基本概念、模型、方法和技巧，更要精选经典论文，讨论分析具体的安全协议，有助于更好的理解。
安全协议正逐渐成为信息安全的一个独立的学科分支。本课程包括形式化分析理论与方法、可证明安全理论与方法、安全多方计算理论与方法。
