无线网络中的安全邻居发现：可能性的形式化研究
密码学与安全
2009-01-05 v1 网络与互联网体系结构
摘要
无线通信支撑着从民用到战术系统的广泛应用。邻居发现（ND），即确定哪些设备在直接无线电通信范围内，是网络协议和应用的基础模块，其脆弱性可能严重损害这些功能。已有若干安全邻居发现的方案被提出，但均未对该问题进行形式化分析。本文贡献了这样一项分析：我们构建了一个形式化模型，捕捉无线系统的显著特征，尤其是障碍物和干扰，并给出了邻居发现问题基本变体的规范。随后，我们针对一类我们称之为“基于时间的协议”的通用协议类推导出一个不可能性结果，文献中的许多方案都属于此类。我们还确定了该不可能性结果被解除的条件。此外，我们探索了第二类我们称之为“基于时间和位置的协议”，并证明它们能够实现安全的邻居发现。
引用
@article{arxiv.0808.2668,
title = {Secure Neighbor Discovery in Wireless Networks: Formal Investigation of Possibility},
author = {Marcin Poturalski and Panos Papadimitratos and Jean-Pierre Hubaux},
journal= {arXiv preprint arXiv:0808.2668},
year = {2009}
}