基于串空间模型的安全协议形式化分析方法研究
用于安全协议形式化分析的串空间(strand space)模型,是一种结合定理证明和协议迹的混合方法,可以有效地描述和证明安全协议的正确性.本文对串空间模型近年来在扩展性、与其它形式化方法的关系、安全协议自动检验技术以及串空间模型的应用等几个研究层面作了全面介绍.
安全协议 形式化方法 串空间模型 扩展性 自动检验技术 密码学
解云峰 李之棠 石曙东
华中科技大学计算机学院(武汉)
国内会议
北京
中文
199-203
2004-08-01（万方平台首次上网日期，不代表论文的发表时间）