BAN逻辑

作品数：238被引量：552H指数：11
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：王育民田建波李益发万长胜董庆宽更多>>
相关机构：西安电子科技大学武汉大学解放军信息工程大学北京邮电大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划河南省科技攻关计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
适用于铁路时间同步协议的双向身份认证方案
《信息安全研究》2024年第12期1165-1171,共7页兰丽 李佳康 白跳红 
甘肃省自然科学基金项目(20JR10RA218);国家自然科学基金项目(61762057)。
针对铁路时间同步协议客户端认证缺失、关键消息明文传输等问题,提出一种更安全的双向身份认证方案,用于时间节点之间的认证和密钥建立.方案采用非对称加密机制和ECDH(elliptic curve Diffie-Hellman)算法安全协商共享密钥,运用主机当...
关键词：铁路时间同步协议 ECDH密钥协商算法 身份校验码 双向身份认证 BAN逻辑 
基于混沌映射的无线网络环境三因子身份认证协议
《计算机应用与软件》2024年第10期349-356,397,共9页张帅亮 杜秀娟 刘昕 
国家自然科学基金项目(61962052);青海省科技厅创新团队项目(2020-ZJ-903);青海省物联网重点实验室项目(2020-ZJ-Y16);河北省物联网监测中心项目(3142016020)。
针对无线网络环境当中的身份认证协议易受伪造攻击、重放攻击、用户模仿攻击、计算开销大、不能够提供匿名性等问题,提出一种基于三因子(口令、智能卡、生物特征)的身份认证密钥协商协议。通过BAN逻辑证明了通信实体之间的相互认证,利用...
关键词：身份认证 三因子 BAN逻辑 AVISPA 
一种安全的集群无线网络环境下密钥协商协议
《网络空间安全科学学报》2024年第5期57-66,共10页尹日升 刘潇 马永柳 杜宜宾 程庆丰 
国家自然科学基金(62472438,62172433);河南省自然科学基金(242300421414)。
集群无线网络作为物联网的一种应用领域,通常部署于不安全的环境,容易遭受网络攻击和利用。近年来,随着集群无线网络环境的研究逐渐增多,适用于集群无线网络环境的认证密钥协商协议应运而生。但是由于集群无线网络本身具有能源消耗高、...
关键词：集群无线网络 认证密钥协商协议 可证明安全 BAN逻辑分析 Scyther形式化分析 
分布式电力移动终端隐私增强认证方案
《重庆邮电大学学报（自然科学版）》2024年第4期819-826,共8页邓建锋 黄宝鑫 肖焯 许露珉 胡厚鹏 
南方电网有限责任公司科技项目(GZKJXM20200601)。
针对智能电网移动终端实际环境下轻量化认证和多种密钥协商需求,提出一个基于区块链的轻量级多令牌双向匿名认证协议。方案通过区块链的分散存储机制实现系统身份认证的去中心化,提高了认证的灵活性。基于椭圆曲线生成随机假名,有效保...
关键词：隐私保护 区块链 BAN逻辑 椭圆曲线 匿名认证 
轻量级的两方认证密钥协商协议被引量：2
《计算机工程与应用》2024年第14期283-293,共11页宋庆 马米米 邓淼磊 左志斌 
国家自然科学基金(61902111)。
轻量级的两方认证密钥协商协议允许通信双方在公开信道上建立一个相同且安全的会话密钥。现有的认证协议难以满足轻量级的需求,同时多数轻量级协议仍存在某些安全问题。基于此,提出了一种基于身份的两方匿名轻量级逆向防火墙认证密钥协...
关键词：身份认证 密钥协商 逆向防火墙 轻量级 eCK模型 BAN逻辑 
基于身份认证的BACnet/IP分析与改进
《通信学报》2024年第3期227-243,共17页谢鹏寿 朱家锋 康永平 冯涛 李威 冉玉翔 
国家自然科学基金资助项目(No.61862040,No.62162039)。
为了解决BACnet/IP身份认证存在多种可攻击漏洞和密钥泄露带来的安全问题,提出了一种安全增强的BACnet/IP-SA协议认证方案。研究协议身份认证消息流模型,基于着色Petri网理论和CPNTools对身份认证消息流建模,采用Dolev-Yao攻击者模型和...
关键词：BACNET/IP 形式化分析 着色PETRI网 BAN逻辑 协议改进 
基于切比雪夫混沌映射和PUF的RFID三方认证协议
《计算机应用研究》2024年第2期582-586,595,共6页徐森 刘佳鑫 杨硕 赵洋 
辽宁省教育厅基本科研项目面上项目(LJKMZ20220782)。
针对射频识别(RFID)三方认证协议存在的安全需求和资源开销的平衡问题,利用切比雪夫多项式的半群性质以及混沌性质提出了一个基于切比雪夫混沌映射和物理不可克隆函数(PUF)的RFID三方认证协议:使用切比雪夫混沌映射来实现标签、阅读器...
关键词：射频识别 物理不可克隆函数 切比雪夫混沌映射 三方认证 BAN逻辑 Scyther工具 
一种基于多因素认证与密钥协商的数据密钥管理方案
《广州大学学报（自然科学版）》2024年第1期1-11,共11页朱恩强 张宇 江观华 许宇光 
国家自然科学基金资助项目(61872101);广州市基础研究计划市校(院)联合资助项目(202201020180)。
隐私数据远程存储技术为用户存储数据带来便捷的同时,也增加了敏感数据在传输过程中遭受拦截攻击的风险。为了提高数据的安全性,需要对上传到远程设备的敏感数据进行加密。因此,高效可靠的密钥管理是确保数据安全的关键。多因素认证是...
关键词：隐私数据保护 多因素认证 加密 BAN逻辑 
适用于天地一体化网络的无证书密钥协商协议
《遥测遥控》2024年第1期31-37,共7页于勇 郑鉴学 张瑞嵩 何亚光 徐松艳 
为了保证天地一体化网络中用户信息的传输安全,改进传统方案的高时延等问题,本文提出一种轻量级的无证书密钥协商方案。首先,本文分析无证书密钥协商协议系统模型,针对天地一体化网络的特点提出协议需要满足双向认证、抗重放、完整性等...
关键词：无证书密钥协商 BAN逻辑 天地一体化网络 轻量级密码协议 
一种用于UAV辅助蜂窝网络的基站对无人机群的安全认证协议
《火力与指挥控制》2023年第12期94-99,共6页张闯 杨昆 
河南省科技厅科技攻关基金资助项目(222102210174)。
由于采用无线通信,基于无人机应用易受安全攻击。与蜂窝基站建立信任是增强无人机网络抵御安全攻击的有效措施。由于无人机的资源受限,传统的信任机制并不适用。提出基于最优路径的可扩展安全认证协议(scalable security authentication...
关键词：无人机 认证 物理不可克隆函数 Christofides算法 BAN逻辑 
全选清除导出
共24页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部