10.3969/j.issn.1000-7024.2005.04.008
AVSP算法
AVSP(Automatic Verifier of Secrurity Protocols)是基于串空间模型(Strand Space Model),并结合使用定理证明和模型检测技术开发出来的密码安全协议自动验证工具.AVSP使用了理想的语义和逻辑来表达安全协议的保密性,同时采用了一些证明策略以控制和减少状态空间爆炸的规模,并加快发现协议中存在的漏洞.
AVSP、安全协议、串空间、理想、算法
26
TP3(计算技术、计算机技术)
中国科学院资助项目60273027;60373048;国家重点基础研究发展计划973计划G1999035802
2005-05-26(万方平台首次上网日期,不代表论文的发表时间)
共4页
867-869,872