The universal composition security of secure positioning, which is a vital primitive in position-based cryptography, is investigated in this paper. This paper proposes a universally composable secure positioning model, which is a bounded retrieval model (FBRM) with the ideal functionalities of secure positioning (FSPd). Then, a one-dimensional version of a novel secure positioning protocol SPreg1 is presented, which is universally composable and is secure in the (FREG, FBRM)-hybrid model. Protocol SPreg1 additionally offers verifier authentication properties, as opposed to similar existing secure positioning protocols. Lastly, a generic version of the secure positioning protocol SPregd in d dimensions is proposed based on the protocol SPreg1. In summary, the proposed secure positioning protocols have been proved to be secure in the universally composable framework.
['Junwei Zhang', 'Jianfeng Ma', 'Chao Yang', 'Li Yang']
Universally composable secure positioning in the bounded retrieval model