BAN逻辑分析

作品数：12被引量：23H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刘丹王世贤于代荣刘明军杨扬更多>>
相关机构：电子科技大学北京科技大学济南大学云南大学更多>>
相关期刊：《河北省科学院学报》《西安电子科技大学学报》《电信科学》《电脑知识与技术》更多>>
相关基金：国家自然科学基金山东省高等学校科技计划项目山东省优秀中青年科学家科研奖励基金云南省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种安全的集群无线网络环境下密钥协商协议
《网络空间安全科学学报》2024年第5期57-66,共10页尹日升 刘潇 马永柳 杜宜宾 程庆丰 
国家自然科学基金(62472438,62172433);河南省自然科学基金(242300421414)。
集群无线网络作为物联网的一种应用领域,通常部署于不安全的环境,容易遭受网络攻击和利用。近年来,随着集群无线网络环境的研究逐渐增多,适用于集群无线网络环境的认证密钥协商协议应运而生。但是由于集群无线网络本身具有能源消耗高、...
关键词：集群无线网络 认证密钥协商协议 可证明安全 BAN逻辑分析 Scyther形式化分析 
采用云和PUF的轻量级RFID双标签认证协议
《西安电子科技大学学报》2023年第1期177-191,共15页艾璐琳 常正泰 范文兵 孔德涵 
国家自然科学基金(61306106);河南省科技攻关项目(192102210086);郑州市黄河人才计划(郑发2020年14号)。
针对医药系统中药品和说明书同时认证的应用需求,提出一种快速双标签身份认证方案。该方案引入云服务器和物理不可克隆函数,确保了射频识别系统的可扩展性和标签的不可克隆性。针对传统射频识别系统逐一认证双标签效率较低的问题,提出...
关键词：射频识别 双标签 云服务器 物理不可克隆函数 BAN逻辑分析 AVISPA工具 
基于矩阵理论的RFID认证协议设计及BAN逻辑分析被引量：3
《计算机应用》2013年第7期1854-1857,共4页李红静 刘丹 
高校院所应用成果转化项目(12DXYB195JH-002)
针对目前提出的射频识别(RFID)认证协议大多不能抵抗重放攻击和数据篡改攻击的问题,提出了一种能抵抗这些攻击的低成本安全协议——基于矩阵的安全协议(MSP)。该协议基于矩阵理论的矩阵乘法和伪随机数生成器(PRNG),实现所需门电路不超过...
关键词：矩阵理论 射频识别 认证协议 BAN逻辑 
基于身份的TLS协议及其BAN逻辑分析被引量：10
《计算机工程》2011年第1期142-144,148,共4页于代荣 杨扬 马炳先 刘明军 王世贤 
国家自然科学基金资助项目(60903099;60673160);山东省中青年科学家奖励基金资助项目(BS2009DX012);山东省高等学校科技计划基金资助项目(J09LG14);济南大学校科研基金资助项目(XKY1009);济南大学信息学院科研基金资助项目(Y0809)
基于身份的密码体制(IBC)轻量、高效,密钥管理方式简单,但缺乏有效安全协议的支持限制了其应用。通过增加支持IBC的加密套件,引入IBC公钥代替RSA证书公钥,减少消息交换数量,提出支持IBC的、高效的基于身份的IB_TLS协议。使用BAN逻辑对...
关键词：基于身份的密码体制 IB TLS协议 BAN逻辑 TLS协议 
基于冀科安全锁的增强型AKA协议的设计实现
《河北省科学院学报》2010年第2期16-18,共3页武辉林 
在对第三代移动通信技术中处于核心地位的AKA协议进行BAN逻辑分析的基础上,采用基于具有自主知识产权的冀科安全锁的双身份认证技术,改进了服务网络对用户设备的认证方式,进而提出了增强型AKA协议,以进一步增强3G会话的安全性。
关键词：AKA协议 冀科安全锁 双身份认证 BAN逻辑分析 
基于口令认证的RFID系统安全协议及其BAN逻辑分析被引量：1
《电信科学》2008年第12期44-48,共5页蔡庆玲 詹宜巨 
广东省自然基金资助项目(No.06023131);中山大学"985"二期基金资助项目(No.90013-3272240)
本文提出一种新的基于口令认证的RFID系统安全协议。该方法充分利用RFID低等级标签提供的有限资源:访问口令(PW)、标签的标识码(ID)和伪随机函数等建立RFID系统读写器和标签双向认证的安全协议,对该协议抵抗各种攻击的安全性进行理论分...
关键词：无线通信 安全协议 口令 字典攻击 BAN逻辑 
基于BAN逻辑分析Otway-Rees协议安全性被引量：1
《微计算机信息》2007年第18期71-72,68,共3页李新中 周小燕 
本文通采用BAN逻辑对Otway-Rees协议建立理想化协议模型,利用协议的初始假设和BAN逻辑的公设分析了Ot-way-Rees协议的安全性。
关键词：安全协议 BAN逻辑 OtwayRees协议 
基于ECDSA多播数据源认证协议设计及其BAN逻辑分析
《电脑知识与技术》2007年第7期101-102,112,共3页杨邓奇 
大理学院青年基金资助项目（2006x36）
多播数据源认证是多播安全的研究热点之一,现有的多播数据源认证协议只能解决部分问题。本文利用ECDSA作为公钥基础,设计了一个有效的基于ECDSA的多播数据源认证协议,并对协议进行了BAN逻辑分析。该协议能够有效地实现多播数据源认证。
关键词：多播数据源认证 ECDSA 认证协议设计 BAN逻辑分析 
基于BAN逻辑分析Otway-Rees协议
《巢湖学院学报》2006年第3期35-37,34,共4页邓永江 
Otway-Rees协议主要功能是完成身份的双向认证,本文探讨了形式化分析在设计密码认证协议中的作用C基于Otway-Rees协议,用BAN逻辑对它进行形式分析,指出形式分析可以辅助发现协议的设计缺陷。
关键词：BAN逻辑 规则 逻辑推理 形式化分析 
多播水印协议MAMWP的BAN逻辑分析被引量：4
《云南大学学报（自然科学版）》2005年第1期18-21,共4页陆正福 叶锐 王国栋 
云南省自然科学基金资助项目(2002F0012M);云南大学理(工)科校级科研项目资助(2003Z010C).
用形式化的方法分析密码协议可以检测出协议中的漏洞和证明协议的安全性,BAN类逻辑是目前使用最广泛的一种形式化分析密码协议的方法.文章介绍了基于移动代理的多播水印协议MAMWP和BAN逻辑,并给出了用BAN逻辑分析MAMWP协议的详细过程.
关键词：BAN逻辑 多播 水印 密码协议 形式化分析 移动代理 漏洞 BAN类逻辑 安全性 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部