Distance-Bounding Protocols: Verification without Time and Location
Distance-Bounding Protocols: Verification without Time and Location
复制标题
距离限制协议：无需时间和地点的验证
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Rolando Trujillo
中科院分区：
文献类型：
--
作者：
S. Mauw;Zach Smith;Jorge Toro;Rolando Trujillo
距离边界协议是一种加密协议，它安全地建立了参与者之间物理距离的上限。现有的距离绑定协议的符号验证框架考虑时间戳和代理的位置。在这项工作中，我们引入了一个基于cabetity的安全距离界定的特征，丢弃的时间和位置的概念。这使我们能够验证的距离绑定协议的正确性与标准的协议验证工具。也就是说，我们提供了第一个完全自动化的距离绑定协议的验证框架。通过使用我们的框架，我们确认了一些协议中的已知漏洞，并发现了针对两个最近发布的协议的未报告的攻击。
Distance-bounding protocols are cryptographic protocols that securely establish an upper bound on the physical distance between the participants. Existing symbolic verification frameworks for distance-bounding protocols consider timestamps and the location of agents. In this work we introduce a causality-based characterization of secure distance-bounding that discards the notions of time and location. This allows us to verify the correctness of distance-bounding protocols with standard protocol verification tools. That is to say, we provide the first fully automated verification framework for distance-bounding protocols. By using our framework, we confirmed known vulnerabilities in a number of protocols and discovered unreported attacks against two recently published protocols.
让我们来看看实际情况：现实世界安全协议的模型和方法
DOI：
10.1007/978-3-642-03359-9_1
发表时间：
2009
期刊：
影响因子：
--
作者：
Stefan Berghofer;Lukas Bulwahn;Florian Haftmann
通讯作者：
Florian Haftmann