论文部分内容阅读
摘要：随着计算机网络的不断发展，全球信息化已成为社会发展的必然趋势。在网络的应用服务中，信息安全是至关重要的环节。而安全协议是保障信息安全最基本内容之一，已广泛应用在计算机通信网和分布系统中。这样，高效准确的安全协议的形式化分析是必不可少的。所以形式化方法分析安全协议已成为目前研究的重点。本文以H.530协议为例给出其形式化分析与模型检测。
全文查看链接