论文部分内容阅读
用形式化方法分析安全协议是协议分析的有效手段，近年来，出现了众多的研究方法．串空间模型是一种新兴的形式化分析工具，其中，“理想”和“诚实”两个概念简化了分析协议的步骤．首次利用串空间理论对由徐兰芳提出的一种安全的AdHoc网络路由协议SGSR进行分析，并分析了它的认证性和机密性，结果证明此协议能够达到协议的目标．