[论文解读] Strong Anonymity for Mesh Messaging

Neil Perry, Bruce Spang+2 more|arXiv (Cornell University)|Jul 8, 2022

Opportunistic and Delay-Tolerant Networks被引用 4

一句话总结

本文提出了一种在互联网中断场景下适用于抗议者的安全、匿名网状消息系统，通过基于广播的加密和伪装流量隐藏所有元数据——包括发送者、接收者、时间及消息模式——在现实条件下可支持超过3,000名用户。该系统通过新颖的威胁模型和协议设计，有效防止流量相关分析与元数据泄露，实现对国家级对手的强匿名性。

ABSTRACT

Messaging systems built on mesh networks consisting of smartphones communicating over Bluetooth have been used by protesters around the world after governments have disrupted Internet connectivity. Unfortunately, existing systems have been shown to be insecure; most concerningly by not adequately hiding metadata. This is further complicated by the fact that wireless communication such as Bluetooth is inherently a broadcasting medium. In this paper, we present a new threat model that captures the security requirements of protesters in this setting. We then provide a solution that satisfies the required security properties, hides all relevant metadata, scales to moderately sized protests, and supports group messaging. This is achieved by broadcasting all messages in a way that limits the overhead of duplicate messages, ensuring that ciphertexts do not leak metadata, and limiting what can be learned by observing user behavior. We also build a model of our system and numerically evaluate it to support our claims and analyze how many users it supports. Finally, we discuss further extensions that remove potential bottlenecks in scaling and support substantially more users.

研究动机与目标

• 为对抗性、互联网中断环境下的匿名网状消息通信定义正式安全模型，尤其针对面临国家级监控的抗议者。
• 解决现有网状消息应用（如Bridgefy和FireChat）中元数据保护严重不足的问题，这些应用已被证明易受流量分析和去匿名化攻击。
• 设计并实现一种系统，确保端到端机密性与强匿名性，包括隐藏发送者、接收者、时间及通信模式。
• 通过建模与数值分析评估系统在真实抗议场景下的可扩展性，包括人群密度与消息频率等因素。
• 探索支持更大规模抗议活动的系统扩展方案，同时保持强隐私保障。

提出的方法

• 设计一种新颖的威胁模型，涵盖国家级对手在互联网中断抗议场景中的能力，包括全局网络可见性以及对部分用户的控制能力。
• 采用基于广播的消息分发机制，防止元数据泄露，确保密文不暴露发送者、接收者或时间信息。
• 实现伪装流量生成机制，掩盖真实消息模式，防止攻击者通过观察用户行为实施流量相关性攻击。
• 应用基于先前工作的改进型广播算法，确保所有设备接收消息的同时最小化重复消息开销。
• 采用对称密钥加密与密钥管理方案，确保前向安全性并防止长期追踪。
• 构建系统模型，模拟在不同用户数量、人群密度与消息速率下消息传递的延迟与吞吐量。

实验结果

研究问题

• RQ1 能否设计一种网状消息系统，使其在互联网中断环境中对国家级对手具备强匿名性？
• RQ2 在无中心化基础设施的蓝牙网状网络中，如何隐藏发送者、接收者、时间及消息频率等元数据？
• RQ3 在真实抗议条件下，网状消息系统最多可支持多少用户，同时保持低延迟与强匿名性？
• RQ4 如何结合伪装流量与广播机制，在不引入过多网络开销的前提下防止流量相关性攻击？
• RQ5 可采用何种架构扩展方案，使系统支持数万名用户同时保持隐私保障？

主要发现

• 在悲观的人群密度假设下，系统可支持最多200名用户每30秒发送消息，消息传递延迟在数秒内。
• 在更现实的条件下，系统可支持超过3,000名用户每分钟发送消息，交付时间低于两分钟。
• 系统通过基于广播的加密与伪装流量，隐藏所有元数据（包括发送者、接收者、消息时间与通信模式），实现强匿名性。
• 数值建模证实，系统在中等规模抗议活动下可有效扩展，消息丢失率低且交付延迟可预测。
• 协议对具备全局网络可见性的被动对手具备鲁棒性，因伪装流量与广播混淆机制有效防止了流量相关性分析。
• 通过引入基于团簇的广播机制等扩展方案，系统可进一步扩展至支持数万名用户，但可能在匿名性或用户好友数量限制方面存在权衡。