论文部分内容阅读
首先对用于认证方案分析的BAN逻辑进行了分析并指出了它的限制，在此基础上提出了一种新的扩展，并将BAN逻辑应用到基于HMAC认证方案的分析中．通过对已实现的远程访问认证方案的分析，证明了上述扩展的有效性和合理性，分析结果表明认证方案达到了预期的安全设计目标．
一种认证方案的形式分析
【摘 要】
：
首先对用于认证方案分析的BAN逻辑进行了分析并指出了它的限制，在此基础上提出了一种新的扩展，并将BAN逻辑应用到基于HMAC认证方案的分析中．通过对已实现的远程访问认证方案的分
【机 构】
：
西安交通大学电子与信息工程学院
【出 处】
：
西安交通大学学报
【发表日期】
：
2001年4期
其他文献
简要回顾了'五四'新文化运动时期文化转型过程,探讨文化冲突对图书馆文化转型的作用,分析了图书馆在文化转型过程中的发展途径,引发出值得借鉴的几点启示.
以滚动轴承知识为对象，利用集成定义方法(IDEF)的建模技术，借鉴产品模型数据交换标准(STEP)应用协议的开发方法，对知识建模进行了系统的分析，建立了中性知识表征体系，并用人工神经