| 一种可分析保密性与认证性的模态逻辑 |
| |
| 引用本文： | 赵华伟,秦 静. 一种可分析保密性与认证性的模态逻辑[J]. 计算机工程, 2007, 33(20): 30-33 |
| |
| 作者姓名： | 赵华伟 秦 静 |
| |
| 作者单位： | 山东财政学院计算机信息工程学院,济南,250014;山东大学数学与系统科学学院,济南,250100 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) , 山东省自然科学基金 |
| |
| 摘 要： | 提出了一种新的基于信念的模态逻辑——MBL逻辑，来分析由单向函数构造的对称钥认证交换协议的安全性。该逻辑有严格的证明体系，可证明推理规则在其语义模型下的正确性，说明该逻辑具有合理性。其推理规则不仅能对单向函数保护的消息进行有关认证性的推理，克服了以往逻辑系统使用不当的安全服务来分析协议认证性的缺陷，而且可分析消息的保密性，避免了其他逻辑分析协议时对可信中心的过分依赖，可发现敌手通过欺骗可信中心而造成的攻击。
|
| 关 键 词： | 模态逻辑 MBL逻辑 BAN类逻辑 会话密钥 |
| 文章编号： | 1000-3428（2007）20-0030-04 |
| 修稿时间： | 2006-12-05 |
Modal Logic for Analyzing Privacy and Authentication |
| |
| ZHAO Hua-wei,Qin Jing. Modal Logic for Analyzing Privacy and Authentication[J]. Computer Engineering, 2007, 33(20): 30-33 |
| |
| Authors: | ZHAO Hua-wei Qin Jing |
| |
| Affiliation: | 1. School of Computer Information Engineering, Shandong University of Finance, Jinan 250014; 2. School of Mathematics and System Science, Shandong University, Jinan 250100 |
| |
| Abstract: | A modal logic based on belief,MBL logic,is introduced to analyze security of authentication key-exchange protocols with one-way functions.The logic has following characteristics: it has a rational proof system and its inference rules can be proved right under its own semantic model.It can analyze authentication of messages protected by one-way functions,and analyze whether messages are kept secret.Through these rules,analyzer could reduce the dependency on trusted third part about the security of temporary session key,and be able to find whether adversaries could make effective attacks on protocols through cheating trusted third part. |
| |
| Keywords: | modal logic MBL logic BAN-like logic session key |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载免费的PDF全文 |
