Sound Proof of Proximity of Knowledge

被引：7
|
作者：
Vaudenay, Serge [1 ]
机构：
[1] Ecole Polytech Fed Lausanne, CH-1015 Lausanne, Switzerland
来源：
PROVABLE SECURITY, PROVSEC 2015 | 2015年 / 9451卷
关键词：
DISTANCE; IDENTIFICATION;
D O I：
10.1007/978-3-319-26059-4_6
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Public-key distance bounding schemes are needed to defeat relay attacks in payment systems. So far, only five such schemes exist, but fail to fully protect against malicious provers. In this paper, we solve this problem. We provide a full formalism to define the proof of proximity of knowledge (PoPoK). Protocols should succeed if and only if a prover holding a secret is within the proximity of the verifier. Like proofs of knowledge, these protocols must satisfy completeness, soundness (protection for the honest verifier), and security (protection for the honest prover). We construct ProProx, the very first sound PoPoK.
引用
收藏
页码：105 / 126
页数：22
相关论文
共 50 条
  • [21] Sound Knowledge for the Practice
    Sefrin, P.
    Doerges, V.
    Kerner, T.
    [J]. NOTARZT, 2015, 31 (02): : 74 - 74
  • [22] Sound Knowledge and Reflection
    Morrison, Fiona
    [J]. MANUELLE THERAPIE, 2019, 23 (02) : 49 - 49
  • [23] Proof Checking and Knowledge by Intellection
    [J]. Philosophical Studies, 1998, 92 : 85 - 112
  • [24] Knowledge of Mathematics without Proof
    Paseau, Alexander
    [J]. BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 2015, 66 (04): : 775 - 799
  • [25] KNOWLEDGE, PROOF, AND INEFFABILITY IN TEACHING
    CONKLIN, KR
    [J]. EDUCATIONAL THEORY, 1974, 24 (01) : 61 - 67
  • [26] Proof Theory for Distributed Knowledge
    Hakli, Raul
    Negri, Sara
    [J]. COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2008, 5056 : 100 - 116
  • [27] Reasoning about proof and knowledge
    Lewitzka, Steffen
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2019, 170 (02) : 218 - 250
  • [28] Delegatable proof of knowledge systems
    Shiratori, Naoya
    Tada, Mitsuru
    [J]. PROCEEDINGS OF 2020 INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY AND ITS APPLICATIONS (ISITA2020), 2020, : 363 - 367
  • [29] Geography of scientific knowledge: A proximity approach
    Frenken, Koen
    [J]. QUANTITATIVE SCIENCE STUDIES, 2020, 1 (03): : 1007 - 1016
  • [30] Geographical proximity and the transmission of tacit knowledge
    Desrochers P.
    [J]. The Review of Austrian Economics, 2001, 14 (1) : 25 - 46
12345