arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2204.13640cs.CR
收藏

一种改进的无I/O能力的BLE设备认证方案

An Improved Authentication Scheme for BLE Devices with no I/O Capabilities

Chandranshu Gupta, Gaurav Varshney

摘要:

蓝牙低功耗(BLE)设备由于其低能耗和因此延长的电池寿命而变得非常流行。它们被用于智能可穿戴设备、灵巧家庭自动化系统、信标和更多领域。BLE使用配对机制来实现一定级别的对等实体认证以及加密。虽然有一组配对机制可用,但没有键盘或显示机制(因此使用Just Works配对)的BLE设备仍然容易受到攻击。在本文中,我们提出并实现了一个轻量级的数字证书为基础的认证机制的BLE设备使用的Just Works模型。所提出的模型是对已经存在的配对机制的附加,因此可以容易地并入现有的BLE堆栈中。为了对抗Just Works配对(设备欺骗)中现有的中间人攻击场景,我们提出的模型允许客户端和外围设备利用流行的公钥基础设施(PKI)来建立对等实体身份验证和安全的加密隧道进行通信。我们还开发了一种轻量级BLE配置的数字证书,包含资源受限设备所需的最小字段,这显着降低了内存(约90%的减少)和能耗。我们已经通过实验评估了使用所提出的配对机制的设备的能耗,以证明该模型可以很容易地部署,对芯片的功率要求的变化较小。该模型已正式验证使用自动验证工具的协议测试。

英文摘要:

Bluetooth Low Energy (BLE) devices have become very popular because of their Low energy consumption and hence a prolonged battery life. They are being used in smart wearable devices, smart home automation system, beacons and many more areas. BLE uses pairing mechanisms to achieve a level of peer entity authentication as well as encryption. Although, there are a set of pairing mechanisms available but BLE devices having no keyboard or display mechanism (and hence using the Just Works pairing) are still vulnerable. In this paper, we propose and implement, a light-weight digital certificate based authentication mechanism for the BLE devices making use of Just Works model. The proposed model is an add-on to the already existing pairing mechanism and therefore can be easily incorporated in the existing BLE stack. To counter the existing Man-in-The-Middle attack scenario in Just Works pairing (device spoofing), our proposed model allows the client and peripheral to make use of the popular Public Key Infrastructure (PKI) to establish peer entity authentication and a secure cryptographic tunnel for communication. We have also developed a lightweight BLE profiled digital certificate containing the bare minimum fields required for resource constrained devices, which significantly reduces the memory (about 90\% reduction) and energy consumption. We have experimentally evaluated the energy consumption of the device using the proposed pairing mechanism to demonstrate that the model can be easily deployed with less changes to the power requirements of the chips. The model has been formally verified using automatic verification tool for protocol testing.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑