期刊文章详细信息
密码协议分析工具——BAN逻辑及其缺陷 ( EI收录)
BAN logic for cryptographic protocols analysis and its limitations
文献类型：期刊文章
机构地区：[1]西安电子科技大学信息保密研究所
基 金：国家自然科学基金
年 份：1999
卷 号：26
期 号：3
起止页码：376-378
语 种：中文
收录情况：AJ、BDHX、BDHX1996、CAS、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、INSPEC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊
摘 要：在介绍密码协议分析工具——ＢＡＮ逻辑的基础上，研究和分析了ＢＡＮ逻辑在初始假设、理想化步骤、语义和探测协议违规运行等方面所存在的缺陷，并用实际例子具体说明了这些缺陷，最后指出了ＢＡＮ逻辑改进的方向．
关 键 词：密码协议 协议分析 BAN逻辑
分 类 号：TN918.1]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
