一种改进的A(0)协议及其形式化分析

• 作者: 朱勇 蔡永泉
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 安全协议 认证协议SVO逻辑 形式化分析
• 年，卷（期）: 2006,（34）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 109-111
• 页数: 3页
• 分类号: TP393.7
• 字数: 2957字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2006.34.033

摘要

针对A(0)协议不能抵抗重放和伪冒攻击的不足,在修改原协议的消息格式和增加握手确认消息的基础上,提出了一种A(0)协议的改进方案,并应用SVO逻辑对改进后的协议进行了形式化的安全性分析.改进后的协议在保持原协议简洁、高效优点的基础上,增加了抵抗重放和抵抗伪冒攻击的能力.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蔡永泉	北京工业大学计算机学院	40	266	8.0	15.0
2	朱勇	北京工业大学计算机学院	2	9	2.0	2.0