|
|||||
|
|
| 互联网密钥交换协议匿名特性的CSP分析及改进 | |
| 引用本文： | 卫剑钒,唐礼勇,陈钟.互联网密钥交换协议匿名特性的CSP分析及改进[J].武汉大学学报(理学版),2004,50(A01):151-154. |
| 作者姓名： | 卫剑钒 唐礼勇 陈钟 |
| 摘 要： | 相对于以往的非形式化分析，文章对互联网密钥交换(IKE)协议的匿名特性进行了基于CSP方法的形式化分析，并提出了新的改进建议．与其他文献只能保护单方身份的改进方法相比。该改进方法能够同时保护双方的身份． |
| 关 键 词： | IKE协议 匿名特性 CSP模型 |
| 本文献已被 维普 等数据库收录！ | |