| 串空间模型及其认证测试方法的一种扩展与应用 |
| |
| 引用本文： | 方燕萍,章晓芳,张广泉.串空间模型及其认证测试方法的一种扩展与应用[J].计算机应用,2008,28(12):3205-3207. |
| |
| 作者姓名： | 方燕萍 章晓芳 张广泉 |
| |
| 作者单位： | 1. 苏州大学,计算机科学与技术学院,江苏,苏州,215006
2. 苏州大学,计算机科学与技术学院,江苏,苏州,215006;重庆师范大学,数学与计算机科学学院,重庆,400047 |
| |
| 基金项目： | 江苏省高校自然科学研究项目
，
重庆市自然科学基金
|
| |
| 摘 要： | 认证测试方法是基于串空间模型的验证安全协议的一种形式化方法，由于串空间模型没有抽象更多的密码学原语，因此难以分析较复杂的安全协议。通过扩展消息项、子项关系以及入侵者模型，扩展了串空间模型及相应的认证测试方法。根据扩展后的认证测试方法，分析了SSL3.0握手协议，验证了该协议认证属性。
|
| 关 键 词： | 串空间模型 认证测试 SSL3.0协议 认证属性 密码学原语 |
| 收稿时间： | 2008-06-11 |
Improvement of authentication test based on strand spaces model |
| |
| FANG Yan-ping,ZHANG Xiao-fang,ZHANG Guang-quan.Improvement of authentication test based on strand spaces model[J].journal of Computer Applications,2008,28(12):3205-3207. |
| |
| Authors: | FANG Yan-ping ZHANG Xiao-fang ZHANG Guang-quan |
| |
| Affiliation: | FANG Yan-ping1,ZHANG Xiao-fang1,ZHANG Guang-quan1,21.College of Computer Science , Technology,Suzhou University,Suzhou Jiangsu 215006,China,2. School of Mathematics , Computer Science,Chongqing Normal University,Chongqing 400047 |
| |
| Abstract: | Authentication test is a formal method of verifying the security protocols based on strand space model. However, it hardly analyzes some complex security protocols on account of its poor cryptographic primitives. Theory of strand spaces model and corresponding authentication test were extended by extending the message term, the in-term relation and penetrator's model. SSL3.0 handshaking protocols were analyzed with the proposed approach, and the properties of authentication were verified. |
| |
| Keywords: | strand spaces model authentication test SSL3 0 handshaking protocol property of authentication cryptographic primitives |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
|
