论文部分内容阅读
网络作为信息的一个重要载体,其安全性是整个信息基础架构的安全基础,而网络的安全性离不开安全的网络协议.因此,网络安全协议本身是否安全是信息安全的一个重要因素.作为信息安全的一项重要研究内容,网络安全协议的分析与设计具有极为重要的理论意义和实际价值.该文以网络安全协议的分析与设计为核心,就以下领域进行了研究:(1)网络安全协议的非形式化分析;(2)网络安全协议的形式化分析;(3)形式化方法在网络安全协议设计上的应用;(4)对复杂协议(如IKE、3G AKA)的分析与设计;(5)网络安全协议自动化分析与设计技术.