基于Prolog的安全协议在线自动化分析

Prolog-based on-line automatic analysis for security protocols

基于串空间理论和约束消减方法,提出安全协议可达性分析模型;采用Prolog实现模型自动推理,利用XSB的Java接口实现基于Web的自动分析工具。

This paper introduced a security reachability analysis model based on the strand space theory and the constraint elimination method. Then proposed a Prolog-based automatic reasoning scheme. At last, described a Web-based on-line automatic analysis implementation utilizing the Java interface of XSB （ a prolog interpreter）.