[论文解读] Fit and Vulnerable: Attacks and Defenses for a Health Monitoring Device

Mahmudur Rahman, Bogdan Cărbunar+1 more|arXiv (Cornell University)|Apr 20, 2013

Bluetooth and Wireless Communication Technologies参考文献 16被引用 23

一句话总结

本文逆向分析了Fitbit健康监测系统的ANT基础无线协议，揭示了其中关键的安全漏洞，使数据窃听、注入及金融欺诈等攻击成为可能。本文提出FitLock，一种轻量级密码学防御机制，仅在移动设备上引入2.4%的端到端开销，有效抵御所有已识别的攻击，同时保持系统可用性。

ABSTRACT

The fusion of social networks and wearable sensors is becoming increasingly popular, with systems like Fitbit automating the process of reporting and sharing user fitness data. In this paper we show that while compelling, the integration of health data into social networks is fraught with privacy and security vulnerabilities. Case in point, by reverse engineering the communication protocol, storage details and operation codes, we identified several vulnerabilities in Fitbit. We have built FitBite, a suite of tools that exploit these vulnerabilities to launch a wide range of attacks against Fitbit. Besides eavesdropping, injection and denial of service, several attacks can lead to rewards and financial gains. We have built FitLock, a lightweight defense system that protects Fitbit while imposing only a small overhead. Our experiments on BeagleBoard and Xperia devices show that FitLock's end-to-end overhead over Fitbit is only 2.4%.

研究动机与目标

• 识别并利用由于无线协议设计不佳而导致的Fitbit健康监测系统中的安全漏洞。
• 通过逆向分析ANT协议和追踪器内存结构，证明被动攻击与主动攻击（包括数据篡改和获取经济利益）在现实世界中的可行性。
• 设计并实现一种轻量级、高效的防御机制FitLock，保护Fitbit通信过程，且不会造成显著的性能下降。
• 通过在资源受限设备（如BeagleBoard和Xperia智能手机）上端到端实现，验证FitLock的有效性及其低开销特性。

提出的方法

• 使用现成工具和硬件，逆向分析了Fitbit设备的ANT协议、追踪器内存布局及命令结构。
• 开发了FitBite，一套攻击工具套件，可在15英尺范围内对Fitbit追踪器实施窃听、数据注入和拒绝服务攻击。
• 设计FitLock作为密码学扩展，采用对称加密算法（RC4、Salsa20、AES）保护追踪器、基站与服务器之间的通信。
• 通过轻量级密钥协商协议生成256位密钥，实现密钥交换与安全数据包传输。
• 使用真实设备（BeagleBoard、Xperia）进行性能评估，测量不同数据包大小下的加密/解密时间。
• 通过对比Fitbit与FitLock在四个通信阶段（包括传输和处理延迟）的性能，测量端到端开销。

实验结果

研究问题

• RQ1 Fitbit无线通信协议中存在哪些安全漏洞，使得攻击者能够未经授权访问健身数据？
• RQ2 攻击者在利用逆向分析的协议后，能在多大程度上操纵或伪造Fitbit生态系统中的健身数据？
• RQ3 如何设计一种轻量级密码学防御机制，以保护可穿戴健康设备通信，同时避免产生过高的性能成本？
• RQ4 使用现代对称加密算法保护Fitbit通信的实际性能开销是多少？

主要发现

• FitBite成功在15英尺范围内对Fitbit追踪器实施了窃听和数据注入攻击，证明了现实世界攻击的可行性。
• Fitbit协议允许攻击者向用户账户注入任意健身数据，可篡改步数统计，并通过奖励计划获取潜在经济利益。
• 在Xperia智能手机上，FitLock将端到端通信开销降低至仅2.4%，1024字节数据包的平均加密时间分别为3.24ms（RC4）、4.62ms（Salsa20）和4.83ms（AES）。
• 在所有数据包大小下，Salsa20和RC4的加密与解密性能均优于AES，其中Salsa20在小数据包上表现最佳。
• 服务器端解密开销极低，每1024字节数据包平均仅需0.69ms（RC4）、1.01ms（Salsa20）和1.31ms（AES），证实其在后端系统的可行性。
• BeagleBoard和Xperia设备每秒可处理数百个加密数据包，证实FitLock不会引入性能瓶颈。