...空间；参数串；约束消减；Prolog [gap=706]Key words:formal method; strand space; parametric strand; constraint elimination; Prolog ...
基于16个网页-相关网页
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.
基于串空间理论和约束消减方法,提出安全协议可达性分析模型;采用Prolog实现模型自动推理,利用XSB的Java接口实现基于Web的自动分析工具。
参考来源 - 基于Prolog的安全协议在线自动化分析·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐