使用物理信道属性的安全距离边界验证
密码学与安全
2013-03-05 v1 信息论
math.IT
摘要
我们考虑距离边界验证（DBV）问题，其中证明方声称一个距离，验证方确保证明方在声称的距离内。当前“安全”距离估计的方法使用信号飞行时间，这要求验证方具有精确的时钟。我们研究使用物理信道属性作为时间测量的替代方案进行安全DBV。我们考虑一个信号传播环境，该环境根据距离衰减信号，然后通过加性噪声破坏信号。我们考虑了针对DBV的三种攻击场景，即距离欺诈（DFA）、黑手党欺诈（MFA）和恐怖分子欺诈（TFA）攻击。我们表明，即使面对无界对手，也可以构建具有DFA和MFA安全性的高效DBV协议；另一方面，即使面对计算有界对手，在没有时间测量的情况下也不可能设计出TFA安全的协议。然而，我们在对手通信能力限于有界检索模型（BRM）的条件下提供了一种TFA安全构造。我们使用数值分析来研究所引入DBV协议的通信复杂度。我们讨论了结果并给出了未来研究的方向。
引用
@article{arxiv.1303.0346,
title = {Secure Distance Bounding Verification using Physical-Channel Properties},
author = {Hadi Ahmadi and Reihaneh Safavi-Naini},
journal= {arXiv preprint arXiv:1303.0346},
year = {2013}
}