| 基于串空间的Kao Chow加密协议形式化验证 |
| |
| 引用本文： | 陆超,周颢,陈波,赵保华.基于串空间的Kao Chow加密协议形式化验证[J].中国科学技术大学学报,2007,37(12):1529-1533. |
| |
| 作者姓名： | 陆超 周颢 陈波 赵保华 |
| |
| 作者单位： | 中国科学技术大学计算机科学与技术系,安徽合肥,230027;安徽省计算与通讯软件重点实验室,安徽合肥,230027 |
| |
| 基金项目： | 国家自然科学基金;国家重点基础研究发展计划(973计划);国家高技术研究发展计划(863计划);广东省深圳市华为技术有限公司资助项目 |
| |
| 摘 要： | Kao Chow加密协议是由Kao和Chow提出的,他们利用BAN逻辑证明了该协议的认证性,但没有证明该协议的保密性,而且没有说明协议参与实体间得到的新会话密钥是否一致.事实上,由于BAN逻辑自身的缺陷,它无法用于证明加密协议的保密性.基于此,给出了Kao Chow加密协议的串空间模型,这个模型不仅验证了该协议的认证性,还验证了它的保密性及新会话密钥的一致性.
|
| 关 键 词： | 串空间 Kao Chow加密协议 协议正确性证明 |
| 文章编号： | 0253-2778（2007）12-1529-05 |
| 收稿时间： | 2006-09-06 |
| 修稿时间： | 2006-11-21 |
Formal verification of Kao Chow cryptographic protocol based on strand space model |
| |
| LU Chao,ZHOU Hao,CHEN Bo,ZHAO Bao-hua.Formal verification of Kao Chow cryptographic protocol based on strand space model[J].Journal of University of Science and Technology of China,2007,37(12):1529-1533. |
| |
| Authors: | LU Chao ZHOU Hao CHEN Bo ZHAO Bao-hua |
| |
| Abstract: | Kao and Chow proposed an efficient and secure cryptographic protocol called Kao Chow protocol.They used BAN to prove its authenticity property.However,they didn't prove its secrecy and agreement on new session keys.Due to BAN's limitations,it can not be used to analyze cryptographic protocol's secrecy property.Thus a strand space model is given on the basis of which,a rigorous proof of its secrecy and agreement on new session keys as well as its authenticity property is obtained. |
| |
| Keywords: | strand spaces Kao Chow cryptographic protocol protocol correctness proof |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
