一种认证方案的形式分析

作     者：白跃彬 郑守淇 刘轶 朱利 Bai Yuebin;Zheng Shouqi;Liu Yi;Zhu Li

作者机构：西安交通大学电子与信息工程学院西安710049 

基　　金：国家"八六三"高技术发展计划资助项目!(86 3- 30 6 -ZD - 0 7- 0 3) 

出 版 物：《西安交通大学学报》 (Journal of Xi'an Jiaotong University)

年 卷 期：2001年第34卷第4期

页      码：370-372页

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

主 题 词：网络安全 形式分析 BAN逻辑 认证方案 远程访问认证 安全设计 

学科分类：0839[0839] 08[工学] 

核心收录：

D　O　I：10.3321/j.issn:0253-987X.2001.04.010

馆 藏 号：203957509...