期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
一种基于X3DH优化协议的轻量化BLE安全配对方案
1
作者 骆森林 黄卓 +1 位作者 吴希航 汪凤翔 《福州大学学报(自然科学版)》 北大核心 2025年第1期17-25,共9页
针对低功耗蓝牙(BLE)标准配对协议仍然存在无法抵御中间人(MITM)攻击、窃听攻击等安全问题,提出一种基于X3DH优化协议的轻量化BLE安全配对方案.在不安全的网络环境下对X3DH协议进行安全性分析,通过采取用户配置公钥和提供双向签名认证... 针对低功耗蓝牙(BLE)标准配对协议仍然存在无法抵御中间人(MITM)攻击、窃听攻击等安全问题,提出一种基于X3DH优化协议的轻量化BLE安全配对方案.在不安全的网络环境下对X3DH协议进行安全性分析,通过采取用户配置公钥和提供双向签名认证等措施对该协议进行优化改进,有效防止攻击者分别与合法的主/从设备建立共享密钥进而实施攻击.在优化的X3DH协议基础上,结合该协议原有的前向安全性和保密性,设计了BLE配对的系统方案,确保BLE设备安全可靠地建立连接.最后,通过分析对比该方案与BLE标准SSP协议、原X3DH协议方案的安全性,进行性能分析和实验验证,证明本方案是安全的、轻量化的. 展开更多
关键词 低功耗蓝牙 x3dh协议 攻击者 安全配对 轻量化
在线阅读 下载PDF
eXtended Triple Diffie-Hellman协议的安全性分析 被引量：3
2
作者 刘佳路 刘璟 +3 位作者 杨佳宁 宋恒贤 雷欣雨 陈慧 《计算机应用》 CSCD 北大核心 2022年第S01期160-165,共6页
针对X3DH(eXtended Triple Diffie-Hellman)协议安全性的问题,使用形式化分析工具OFMC(On-the-Fly Model-Checker)和协议建模语言AnB对协议进行验证。首先,在Types部分对协议涉及到的通信实体进行了建模;然后,在Knowlegde部分规定了各... 针对X3DH(eXtended Triple Diffie-Hellman)协议安全性的问题,使用形式化分析工具OFMC(On-the-Fly Model-Checker)和协议建模语言AnB对协议进行验证。首先,在Types部分对协议涉及到的通信实体进行了建模;然后,在Knowlegde部分规定了各通信实体的先验知识;其次,在Actions部分对协议的协商流程进行了建模;最后,在Goals部分对协议的机密性、完整性、双向鉴别性等安全目标进行了建模。实验结果表明,X3DH协议作为Signal协议的核心,实现了密钥协商协议所要求的机密性、完整性、双向鉴别性等安全目标,并且形式化分析工具既可以减少工作量,又可以发现人工不易发现的协议漏洞,从而更加全面、高效地验证协议的安全性。 展开更多
关键词 x3dh协议 形式化分析工具 OFMC Signal协议
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部