#密码学
网络安全检测协议 0 引言安全协议 (或称密码协议) 是一种通过密码学技术来达到某些特殊安全需求的通信协议。它通常只有2到5条交互的消息, 然而设计一个可靠的安全协议却绝非易事。由于安全协议通常运行在一个复杂的网络环境中, 其缺陷往往十分隐蔽, 一般人工分析方法难以发现, 必须要借助形式......
1 密码协议分析的形式化方法概述长期以来, 密码学专家一直依赖经验性的指导原则来设计密码协议, 但事实表明非形式化的设计方法很容易忽略掉一些微妙的、直觉难以发现的漏洞。形式化方法是采用各......
