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

• 作者: 张杰 蔡家楣 陈铁明
• 来源期刊: 计算机应用研究
• 关键词: 形式化 串空间 参数串 约束消减 Prolog
• 年，卷（期）: 2008,（8）
• 所属期刊栏目: 信息安全技术
• 页码范围: 2447-2449
• 页数: 3页
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2008.08.060

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈铁明	浙江工业大学软件学院	60	357	11.0	15.0
3	张杰	北京航空航天大学软件开发环境国家重点实验室	15	200	6.0	14.0
6	蔡家楣	北京航空航天大学软件开发环境国家重点实验室	1	0	0.0	0.0