一种认证方案的形式分析

• 作者: 刘轶 朱利 白跃彬 郑守淇
• 来源期刊: 西安交通大学学报
• 关键词: 网络安全 认证 形式分析 BAN逻辑
• 年，卷（期）: 2001,（4）
• 页码范围: 370-372
• 页数: 3页
• 分类号: TP393.08
• 语种: 中文
• DOI: 10.3321/j.issn:0253-987X.2001.04.010

摘要

首先对用于认证方案分析的BAN逻辑进行了分析并指出了它的限制，在此基础上提出了一种新的扩展，并将BAN逻辑应用到基于HMAC认证方案的分析中．通过对已实现的远程访问认证方案的分析，证明了上述扩展的有效性和合理性，分析结果表明认证方案达到了预期的安全设计目标．

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郑守淇	西安交通大学电子与信息工程学院	66	727	13.0	24.0
2	白跃彬	西安交通大学电子与信息工程学院	9	201	7.0	9.0
3	刘轶	西安交通大学电子与信息工程学院	31	428	10.0	20.0
4	朱利	西安交通大学电子与信息工程学院	61	704	11.0	25.0