| 基于Prolog的安全协议在线自动化分析* |
| |
| 引用本文： | 陈铁明,张杰,蔡家楣.基于Prolog的安全协议在线自动化分析*[J].计算机应用研究,2008,25(8):2447-2449. |
| |
| 作者姓名： | 陈铁明 张杰 蔡家楣 |
| |
| 作者单位： | 1. 浙江工业大学,软件学院,杭州,310032;北京航空航天大学,软件开发环境国家重点实验室,北京100083
2. 北京航空航天大学,软件开发环境国家重点实验室,北京100083 |
| |
| 基金项目： | 国家自然科学基金资助项目（60673080，60773115）；国家“863”计划资助项目（2006AA01Z235）；浙江省自然科学基金资助项目（Y106290）；浙江工业大学校基金资助项目（20060022） |
| |
| 摘 要： | 基于串空间理论和约束消减方法，提出安全协议可达性分析模型；采用Prolog实现模型自动推理，利用XSB的Java接口实现基于Web的自动分析工具。
|
| 关 键 词： | 形式化 串空间 参数串 约束消减 Prolog |
Prolog based on line automatic analysis for security protocols |
| |
| CHEN Tie ming,ZHANG Jie,CAI Jia mei.Prolog based on line automatic analysis for security protocols[J].Application Research of Computers,2008,25(8):2447-2449. |
| |
| Authors: | CHEN Tie ming ZHANG Jie CAI Jia mei |
| |
| Affiliation: | CHEN Tie-ming1,2,ZHANG Jie2,CAI Jia-mei2 |
| |
| Abstract: | 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). |
| |
| Keywords: | formal method strand space parametric strand constraint elimination Prolog |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
