串空间模型及其认证测试方法的一种扩展与应用

• 作者: 张广泉 方燕萍 章晓芳
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 串空间模型 认证测试 SSL3.0握手协议 认证属性 密码学原语
• 年，卷（期）: 2008,（12）
• 所属期刊栏目: 信息安全
• 页码范围: 3205-3207,3210
• 页数: 4页
• 分类号: TP393.04
• 字数: 4172字
• 语种: 中文

摘要

认证测试方法是基于串空间模型的验证安全协议的一种形式化方法,由于串空间模型没有抽象更多的密码学原语,因此难以分析较复杂的安全协议.通过扩展消息项、子项关系以及入侵者模型,扩展了串空间模型及相应的认证测试方法.根据扩展后的认证测试方法,分析了SSL3.0握手协议,验证了该协议认证属性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张广泉	苏州大学计算机科学与技术学院	147	1056	16.0	25.0
3	章晓芳	苏州大学计算机科学与技术学院	11	33	3.0	5.0
6	方燕萍	苏州大学计算机科学与技术学院	2	3	1.0	1.0