10.3969/j.issn.1001-3695.2008.08.060
基于Prolog的安全协议在线自动化分析
基于串空间理论和约束消减方法,提出安全协议可达性分析模型;采用Prolog实现模型自动推理,利用XSB的Java接口实现基于Web的自动分析工具.
形式化、串空间、参数串、约束消减、Prolog
25
TP309(计算技术、计算机技术)
国家自然科学基金资助项目60673080,60773115;国家"863"计划资助项目2006AA01Z235;浙江省自然科学基金资助项目Y106290;浙江工业大学校基金资助项目20060022
2008-09-24(万方平台首次上网日期,不代表论文的发表时间)
共3页
2447-2449