论文部分内容阅读
网络安全协议是信息安全方向的核心课程。安全协议的设计和分析是教学实践的两大目标，但目前国内安全协议的专业教材寥寥无几，给教学和实践带来较大困难。文章提出一套综合教学实践方法，紧扣安全协议设计和分析的教学目标，涵盖安全协议的形式化分析理论、安全协议的工程设计和实现，以及协议的性能分析等实践方法，可使学生全面了解和掌握安全协议的理论框架，并从工程角度获得安全协议的实施技术。