可证明安全的基于位置的Prover-to-Prover密钥交换协议

doi:10.3969/j.issn.0372-2112.2016.01.003

电子学报 ›› 2016, Vol. 44 ›› Issue (1): 14-20.DOI: 10.3969/j.issn.0372-2112.2016.01.003

可证明安全的基于位置的Prover-to-Prover密钥交换协议

张俊伟, 陈治平, 马建峰, 杨力

西安电子科技大学计算机学院, 陕西西安 710071

收稿日期:2014-07-01 修回日期:2014-11-15 出版日期:2016-01-25
- 作者简介:
- 张俊伟 男,1982年2月生于陕西西安.博士,西安电子科技大学副教授,主要研究方向为网络与信息安全、密码学等. E-mail:jwzhang@xidian.edu.cn 陈治平 男,1990年2月生于安徽阜阳.西安电子科技大学硕士研究生,主要研究方向为无线网络安全.
- 基金资助:
- 长江学者和创新团队发展计划 (No.IRT1078); 国家科技重大专项 (No.2011ZX03005-002); 国家自然科学基金 (No.U1135002,No.61100230,No.61100233,No.61202389,No.61202390,No.61372075,No.61472310); 中央高校基本科研业务费 (No.JY10000903001,No.K5051303003)

Provably Secure Position-Based Prover-to-Prover Key Exchange Protocols

ZHANG Jun-wei, CHEN Zhi-ping, MA Jian-feng, YANG Li

School of Computer Science and Technology, Xidian University, Xi'an, Shaanxi 710071, China

Received:2014-07-01 Revised:2014-11-15 Online:2016-01-25 Published:2016-01-25

摘要/Abstract

摘要：

本文针对两个证明者之间可证明安全的基于位置密钥交换协议展开研究.首次将基于位置密钥交换分为P2V(Prover-to-Verifier)模式和P2P(Prover-to-Prover)模式,并给出P2P模式下基于位置密钥交换的安全定义.随后,在1维空间下设计了可证明安全的基于位置P2P密钥交换协议P2PKE¹,并以此为基础构造了d(1≤d≤3)维空间下基于位置P2P密钥交换协议P2PKE^d.同时,分别提出了具有密钥确认性质的基于位置P2P密钥交换协议P2PKE^d-c和无密钥托管的基于位置P2P密钥交换协议P2PKE^d-e.最后,从安全性和效率两方面对所设计的协议进行了讨论.

关键词: P2P, 基于位置密钥交换, BRM模型, 可证明安全

Abstract:

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 P2PKE¹ in 1-dimension is proposed in this paper.Based on the above protocol, a generic prover-to-prover position-based key exchange protocol P2PKE^d in d-dimensions is constructed(1≤d≤3).In addition, this paper extends the proposed protocol and proposes protocol P2PKE^d-c with key confirmation and protocol P2PKE^d-e without key escrow in d-dimensions.Finally, we discuss the proposed protocols in 3-dimensions from both security and performance perspectives.

Key words: prover-to-prover, position-based key exchange, bounded retrieval model, provable security

中图分类号:

TN911.7

张俊伟, 陈治平, 马建峰, 杨力. 可证明安全的基于位置的Prover-to-Prover密钥交换协议[J]. 电子学报, 2016, 44(1): 14-20.

ZHANG Jun-wei, CHEN Zhi-ping, MA Jian-feng, YANG Li. Provably Secure Position-Based Prover-to-Prover Key Exchange Protocols[J]. Acta Electronica Sinica, 2016, 44(1): 14-20.

参考文献

[1] B Rao, L Minakakis.Evolution of mobile location-based services[J].Communications of the ACM, 2003, 46(12):61-65.
[2] 肖竹, 王勇超, 田斌, 于全, 易克初.超宽带定位研究与应用:回顾和展望[J].电子学报, 2011, 39(1):133-141. Xiao Zhu, Wang Yongchao, Tian Bin, Yu Quan, Yi Kechu.UWB positioning research and application:review and outlook[J].Acta Electronica Sinica, 2011, 39(1):133-141.(in Chinese)
[3] 林云松, 孙卓振, 彭良福.基于Bancroft算法的多点定位TOA-LS估计[J].电子学报, 2012, 40(3):621-624. Lin Yunsong, Sun Zhuozhen, Peng Liangfu.Multipoint positioning TOA-the LS estimate of the algorithm based on the Bancroft[J].Acta Electronica Sinica, 2012, 40(3):621-624.(in Chinese)
[4] D Liu, P Ning.Location-based pairwise key establishments for static sensor networks[A].Proceedings of the 1st ACM Workshop on Security of ad hoc and Sensor Networks[C].ACM, 2003.72-81.
[5] C Yang, J Xiao.Location-based pairwise key establishment and data authentication for wireless sensor networks[A].Information Assurance Workshop[C].IEEE, 2006.247-252.
[6] D Huang, M Mehta, D Medhi, L Harn.Location-aware key management scheme for wireless sensor networks[A].2nd ACM Workshop on Security of ad hoc and Sensor Networks[C].ACM, 2004.29-39.
[7] M Younis, K Ghumman, M Eltoweissy.Location-aware combinatorial key management scheme for clustered sensor networks[J].IEEE Transactions on Parallel and Distributed Systems, 2006, 17(8):865-882.
[8] Y Zhang, W Liu, W Lou, Y Fang.Securing sensor networks with location-based keys[A].IEEE Wireless Communications and Networking Conference[C].IEEE, 2005.1909-1914.
[9] Yanchao Zhang, Wei Liu, Wenjing Lou, Yuguang Fang.Location-based compromise-tolerant security mechanisms for wireless sensor networks[J].IEEE J Select Areas Commun, 2006, 24(2):247-260.
[10] N Chandran, V Goyal, R Moriarty, R Ostrovsky.Position-based Cryptography[A].Advances in Cryptology-CRYPTO 2009[C].Berlin:Springer-Verlag, 2009.391-407.
[11] H Buhrman, N Chandran, S Fehr, R Gelles, V Goyal, R Ostrovsky, C Schaffner.Position-based quantum crypto-graphy:impossibility and constructions[A].Advances in Cryptology-CRYPTO 2011[C].Berlin:Springer-Verlag, 2011.429-446.
[12] H K Lau, H K Lo.Insecurity of position-based quantum-cryptography protocols against entanglement attacks[J].Physical Review A, 2011, 83(1):012322.
[13] M Tomamichel, S Fehr, J Kaniewski, S Wehner.One-sided device-independent QKD and position-based cryptography from monogamy games[A].Advances in Cryptology-EUROCRYPT 2013[C].Berlin:Springer-Verlag, 2013.609-625.
[14] Junwei Zhang, Jianfeng Ma, Chao Yang.Protocol derivation system for the Needham-Schroeder family[J].Wiley Online Library, 2012.DOI:10.1002/sec.565.
[15] A Perrig, R Szewczyk, J D Tygar, V Wen, D E Culler.SPINS:security protocols for sensor networks[A].ACM Conference on Mobile Computing and Networks[C].ACM, 2001.189-199.
[16] J Zhang, J Ma, S Moon.Universally composable one-time signature and broadcast authentication[J].Sci China Inf Sci, 2010, 53(3):567-580.
[17] R Canetti, H Krawczyk.Analysis of key-exchange protocols and their use for building secure channels[A].Advances in Cryptology-EUROCRYPT 2001[C].Berlin:Springer-Verlag, 2001.2045:453-474.

可证明安全的基于位置的Prover-to-Prover密钥交换协议

Provably Secure Position-Based Prover-to-Prover Key Exchange Protocols

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

[1]	尹安琪, 曲彤洲, 郭渊博, 汪定, 陈琳, 李勇飞. 格上基于密文标准语言的可证明安全两轮口令认证密钥交换协议[J]. 电子学报, 2022, 50(5): 1140-1149.
[2]	侯红霞, 杨波, 张丽娜, 张明瑞. 安全的两方协作SM2签名算法[J]. 电子学报, 2020, 48(1): 1-8.
[3]	李子臣, 张卷美, 杨亚涛, 张峰娟. 基于NTRU的全同态加密方案[J]. 电子学报, 2018, 46(4): 938-944.
[4]	冯朝胜, 秦志光, 罗王平, 刘霞, 袁丁. P2P触发式主动型蠕虫传播建模[J]. 电子学报, 2016, 44(7): 1702-1707.
[5]	翟海滨, 张鸿, 刘欣然, 王勇, 沈时军, 李正民. 最小化出口流量花费的接入级P2P缓存容量设计方法[J]. 电子学报, 2015, 43(5): 879-887.
[6]	袁科, 刘哲理, 贾春福, 杨骏, 吕述望. 一对多场景下的公钥时控性可搜索加密[J]. 电子学报, 2015, 43(4): 760-768.
[7]	张宇, 陈晶, 杜瑞颖, 周庆, 郑明辉. 适于车载网安全通信的高效签密方案[J]. 电子学报, 2015, 43(3): 512-517.
[8]	郭奕旻, 李顺东, 陈振华, 刘新. 一种轻量级隐私保护的RFID群组证明协议[J]. 电子学报, 2015, 43(2): 289-292.
[9]	马骏, 郭渊博, 马建峰, 刘西蒙, 李琦. 物联网感知层基于资源分层的多用户访问控制方案[J]. 电子学报, 2014, 42(1): 28-35.
[10]	牛建伟, 戴彬, 孙利民, 林佳骝, 熊永平. PQBCF:一种基于中间中心度的机会网络P2P查询算法[J]. 电子学报, 2013, 41(9): 1815-1820.
[11]	冯朝胜, 秦志光, 袁丁, 卿昱. P2P网络中被动型蠕虫传播与免疫建模[J]. 电子学报, 2013, 41(5): 884-889.
[12]	吴国福;窦强;温俊;宋磊;窦文华. P2P流媒体系统最大数据传输速率研究[J]. 电子学报, 2012, 40(3): 459-465.
[13]	冯朝胜;;袁丁;卿昱;秦志光. P2P网络中激发型蠕虫传播动态建模[J]. 电子学报, 2012, 40(2): 300-307.
[14]	秦丰林;刘琚. P2P网络流媒体关键技术[J]. 电子学报, 2011, 39(4): 919-927.
[15]	孟宪福;陈晓令. 结构化P2P网络热点负载动态迁移策略[J]. 电子学报, 2011, 39(10): 2407-2411.