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 条
  • [31] Knowledge, networks and proximity: An embeddedness perspective
    Boekema, F
    Rutten, R
    [J]. EUROPEAN PLANNING STUDIES, 2004, 12 (05) : 603 - 605
  • [32] The dual influences of proximity on knowledge sharing
    Christensen, Peter Holdt
    Pedersen, Torben
    [J]. JOURNAL OF KNOWLEDGE MANAGEMENT, 2018, 22 (08) : 1782 - 1802
  • [33] Proximity: birth and growth of a knowledge community
    Filippi, Maryline
    Wallet, Frederic
    Polge, Etienne
    [J]. REVUE D ECONOMIE REGIONALE ET URBAINE, 2018, (5-6): : 939 - 966
  • [34] International Knowledge Flows and the Role of Proximity
    Gui, Qinchang
    Liu, Chengliang
    Du, Debin
    [J]. GROWTH AND CHANGE, 2018, 49 (03) : 532 - 547
  • [35] A sound and complete proof system for probabilistic processes
    Gomez, FC
    Escrig, DD
    Ruiz, VV
    [J]. TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 340 - 352
  • [36] Variational formulations of sound-proof models
    Cotter, C. J.
    Holm, D. D.
    [J]. QUARTERLY JOURNAL OF THE ROYAL METEOROLOGICAL SOCIETY, 2014, 140 (683) : 1966 - 1973
  • [37] MOBILE AUDIOMETRIC SOUND-PROOF ROOM
    不详
    [J]. MACHINERY AND PRODUCTION ENGINEERING, 1971, 118 (3035): : 51 - &
  • [38] Modeling sound proof effectiveness of partition walls
    Yu, J.
    Tang, H.
    Jin, W. B.
    Liu, L.
    Tian, L.
    [J]. DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2006, 13E : 3990 - 3994
  • [39] Quadratically Sound Proof-of-Sequential-Work
    Sur, Souvik
    Roychowdhury, Dipanwita
    [J]. MATHEMATICS AND COMPUTING, ICMC 2022, 2022, 415 : 129 - 141
  • [40] Embedding knowledge graph of patent metadata to measure knowledge proximity
    Li, Guangtong
    Siddharth, L.
    Luo, Jianxi
    [J]. JOURNAL OF THE ASSOCIATION FOR INFORMATION SCIENCE AND TECHNOLOGY, 2023, 74 (04) : 476 - 490
12345