搜索到238篇“ BAN逻辑分析“的相关文章
- 基于矩阵理论的RFID认证协议设计及BAN逻辑分析被引量：3
- 2013年
- 针对目前提出的射频识别(RFID)认证协议大多不能抵抗重放攻击和数据篡改攻击的问题,提出了一种能抵抗这些攻击的低成本安全协议——基于矩阵的安全协议(MSP)。该协议基于矩阵理论的矩阵乘法和伪随机数生成器(PRNG),实现所需门电路不超过1000,满足低成本的要求。与基于同等算法的已有协议分析得出MSP大大降低了标签存储量和计算复杂度。最后,经BAN逻辑分析证明MSP实现了安全认证。因此,MSP非常适用于RFID环境。
- 李红静刘丹
- 关键词：矩阵理论射频识别BAN逻辑
- 基于Hash函数的鉴别协议及其BAN逻辑分析
- RFID技术的广泛应用,安全问题变得日益严重.本文在现有RFID安全认证协议的基础上,有效结合双向认证、密钥加密算法和哈希函数提出的鉴别协议,在读写器和有源RFID标签中加入了安全的机制，较好地解决了军用RFID的安全隐...
- 刘丹周明袁小霞
- 关键词：安全通信协议哈希函数BAN逻辑射频识别
- 基于身份的TLS协议及其BAN逻辑分析被引量：10
- 2011年
- 基于身份的密码体制(IBC)轻量、高效,密钥管理方式简单,但缺乏有效安全协议的支持限制了其应用。通过增加支持IBC的加密套件,引入IBC公钥代替RSA证书公钥,减少消息交换数量,提出支持IBC的、高效的基于身份的IB_TLS协议。使用BAN逻辑对其进行形式化分析,证明IB_TLS协议是安全的。
- 于代荣杨扬马炳先刘明军王世贤
- 关键词：IBTLS协议BAN逻辑TLS协议
- 基于口令认证的RFID系统安全协议及其BAN逻辑分析被引量：3
- 2008年
- 本文提出一种新的基于口令认证的RFID系统安全协议。该方法充分利用RFID低等级标签提供的有限资源:访问口令(PW)、标签的标识码(ID)和伪随机函数等建立RFID系统读写器和标签双向认证的安全协议,对该协议抵抗各种攻击的安全性进行理论分析并对该协议的认证功能进行BAN逻辑的形式化分析。结果表明该协议能够有效抵御在线和离线字典攻击、伪装攻击、重放攻击以及流量分析和跟踪攻击,因而解决了RFID系统的安全问题。
- 蔡庆玲詹宜巨
- 关键词：安全协议口令字典攻击BAN逻辑
- 量子密码协议的BAN逻辑分析
- 量子密码协议的安全性证明一直以来是一个研究难点,虽然 OKD 协议已经被证明是无条件安全的, 但是证明过程相当复杂。到目前为止还没有一种通用的方法能证明所有的量子密码协议,本文提出一种新的方法,即利用 BAN 逻辑分析方...
- 张盛王剑范琏张权
- 关键词：量子安全直接通信纠缠交换
- 文献传递
- 基于BAN逻辑分析Otway-Rees协议安全性被引量：1
- 2007年
- 本文通采用BAN逻辑对Otway-Rees协议建立理想化协议模型,利用协议的初始假设和BAN逻辑的公设分析了Ot-way-Rees协议的安全性。
- 李新中周小燕
- 关键词：安全协议BAN逻辑
- 基于ECDSA多播数据源认证协议设计及其BAN逻辑分析
- 2007年
- 多播数据源认证是多播安全的研究热点之一,现有的多播数据源认证协议只能解决部分问题。本文利用ECDSA作为公钥基础,设计了一个有效的基于ECDSA的多播数据源认证协议,并对协议进行了BAN逻辑分析。该协议能够有效地实现多播数据源认证。
- 杨邓奇
- 关键词：ECDSABAN逻辑分析
- 安全协议及其BAN逻辑分析研究
- 随着计算机网络的广泛应用和各种应用领域的不断扩大，信息的安全问题成为大家关注的焦点。信息安全(Information Security)问题从某种程度上已成为制约计算机网络应用的一个瓶颈。传统的对信息的安全性处理是依赖于...
- 杨世平
- 关键词：安全协议BAN逻辑形式化分析消息交换加解密算法网络安全
- 基于BAN逻辑分析Otway-Rees协议
- 2006年
- Otway-Rees协议主要功能是完成身份的双向认证,本文探讨了形式化分析在设计密码认证协议中的作用C基于Otway-Rees协议,用BAN逻辑对它进行形式分析,指出形式分析可以辅助发现协议的设计缺陷。
- 邓永江
- 关键词：BAN逻辑逻辑推理形式化分析
- 多播水印协议MAMWP的BAN逻辑分析被引量：6
- 2005年
- 用形式化的方法分析密码协议可以检测出协议中的漏洞和证明协议的安全性,BAN类逻辑是目前使用最广泛的一种形式化分析密码协议的方法.文章介绍了基于移动代理的多播水印协议MAMWP和BAN逻辑,并给出了用BAN逻辑分析MAMWP协议的详细过程.
- 陆正福叶锐王国栋
- 关键词：BAN逻辑密码协议形式化分析移动代理BAN类逻辑
相关作者
- 刘丹
- 作品数：132被引量：191H指数：6
- 供职机构：电子科技大学
- 研究主题：有源RFID 向量 认知网络 指纹数据库 相似度
- 范琏
- 作品数：3被引量：1H指数：1
- 供职机构：国防科学技术大学电子科学与工程学院
- 研究主题：拆分 量子信息 量子密码 量子秘密共享 量子
- 徐浩
- 作品数：25被引量：213H指数：8
- 供职机构：南京中医药大学
- 研究主题：中医学 知识图谱 引文分析 中医药 学科
- 杨扬
- 作品数：341被引量：1,299H指数：17
- 供职机构：清华大学
- 研究主题：网格服务 服务质量 QOS 随机PETRI网 云计算
- 张盛
- 作品数：10被引量：12H指数：2
- 供职机构：国防科学技术大学
- 研究主题：量子密码 量子信息 量子密钥分配协议 量子密钥分配 量子安全直接通信
