摘要： 研究了基于位置密码学中安全定位协议的可证明安全问题。在通用可组合安全框架下，提出了安全定位的可证安全模型。根据安全定位协议的需求，设计了安全定位的理想函数。同时，作为基于位置密码学的一种前提假设，设计了BRM模型的理想函数。此外，以1-维空间的安全定位协议为例，证明了该协议在BRM模型下能够实现安全定位的理想函数。