本文针对两个证明者之间可证明安全的基于位置密钥交换协议展开研究.首次将基于位置密钥交换分为P2V(Prover-to-Verifier)模式和P2P(Prover-to-Prover)模式,并给出P2P模式下基于位置密钥交换的安全定义.随后,在1维空间下设计了可证明安全的基于位置P2P密钥交换协议P2PKE1,并以此为基础构造了d(1≤d≤3)维空间下基于位置P2P密钥交换协议P2PKEd.同时,分别提出了具有密钥确认性质的基于位置P2P密钥交换协议P2PKEd-c和无密钥托管的基于位置P2P密钥交换协议P2PKEd-e.最后,从安全性和效率两方面对所设计的协议进行了讨论.
This paper investigates provably secure position-based key exchange protocols between two provers. To begin with,this paper presents the notions of the prover-to-verifier mode and the prover-to-prover mode,which is the first to distinguish between the two modes for position-based key exchange. At the same time,this paper formalizes the definition of secure prover-to-prover position-based key exchange. Then,a provably secure prover-to-prover position-based key exchange protocol P2PKE1 in 1-dimension is proposed in this paper. Based on the above protocol,a generic prover-to-prover positionbased key exchange protocol P2 PKEdin d-dimensions is constructed( 1≤d≤3). In addition,this paper extends the proposed protocol and proposes protocol P2PKEd-c with key confirmation and protocol P2PKEd-e without key escrowin d-dimensions. Finally,we discuss the proposed protocols in 3-dimensions from both security and performance perspectives.