AVSP算法

作者：石昊苏; 薛锐; 冯登国

来源：计算机工程与设计, 2005, (04): 867-869+872.

DOI：10.16208/j.issn1000-7024.2005.04.008

• AVSP
• 安全协议
• 串空间
• 理想
• 算法 AVSP
• security protocol
• strand space
• ideal
• algorithm

AVSP(AutomaticVerifierofSecrurityProtocols)是基于串空间模型(StrandSpaceModel),并结合使用定理证明和模型检测技术开发出来的密码安全协议自动验证工具。AVSP使用了理想的语义和逻辑来表达安全协议的保密性,同时采用了一些证明策略以控制和减少状态空间爆炸的规模,并加快发现协议中存在的漏洞。