本文選題：基于位置密碼學 + 密鑰交換　； 參考：《計算機研究與發(fā)展》2014年02期

【摘要】：基于位置密碼學的目標是將參與方的物理位置信息作為唯一的憑證來實現(xiàn)某些密碼學任務,如基于位置的加密.可證安全的基于位置密鑰交換協(xié)議應滿足對于任意位置的證明者,在基于位置密鑰交換協(xié)議后,證明者和驗證者之間能夠協(xié)商一個共享密鑰.并且,對于任意多個共謀敵手而言,該共享密鑰與隨機數(shù)是不可區(qū)分的.研究了基于位置密碼學中密鑰交換的可證明安全問題.在通用可組合安全框架下,提出了基于位置密鑰交換的可證安全模型.根據(jù)基于位置密鑰交換協(xié)議的需求,設計了基于位置密鑰交換的理想函數(shù).對于任意多個共謀敵手而言,該理想函數(shù)生成的共享密鑰與隨機數(shù)是不可區(qū)分的.同時,作為基于位置密碼學的一種前提假設,設計了有界檢索模型(bounded retrieval model,BRM)的理想函數(shù).此外,以1-維空間的基于位置密鑰交換為例,證明了該協(xié)議在BRM模型下能夠?qū)崿F(xiàn)基于位置密鑰交換的理想函數(shù).
[Abstract]:The goal of location-based cryptography is to implement some cryptographic tasks such as location-based encryption by using the physical location information of the participants as a unique credential. The provable location-based key exchange protocol should satisfy the proband of any location. After the location-based key exchange protocol, a shared key can be negotiated between the certifier and the verifier. Moreover, the shared key is indistinguishable from the random number for any number of complicit adversaries. The provable security of key exchange in location-based cryptography is studied. Under the general combinable security framework, a provable security model based on location key exchange is proposed. According to the requirement of location key exchange protocol, an ideal function based on location key exchange is designed. For any number of co-conspirators, the shared key generated by the ideal function is indistinguishable from the random number. At the same time, as a presupposition of location cryptography, the ideal function of bounded retrieval model (BRM) is designed. In addition, taking the 1-dimensional location-based key exchange as an example, it is proved that the proposed protocol can realize the ideal function of location-based key exchange under BRM model.
【作者單位】： 西安電子科技大學計算機學院;
【基金】：長江學者和創(chuàng)新團隊發(fā)展計劃基金項目(IRT1078) 國家科技重大專項基金項目(2011ZX03005-002) 國家自然科學基金項目(U1135002,61100230,61100233,61202389,61202390) 陜西省自然科學基礎研究計劃基金項目(2011JQ8003,2012JM8030) 中央高�；究蒲袠I(yè)務費專項基金項目(JY10000903001,K5051303003)
【分類號】：TN918.4

【參考文獻】

相關期刊論文 前2條

1 馮濤;馬建峰;;無線傳感器網(wǎng)絡密鑰種子管理和分配模型及應用[J];計算機研究與發(fā)展;2008年01期

2 李鳳華;馮濤;馬建峰;;基于VSPH的UC不經(jīng)意傳輸協(xié)議[J];通信學報;2007年07期

【共引文獻】

相關期刊論文 前10條

1 馮濤;馬建峰;李鳳華;;UC安全的高效不經(jīng)意傳輸協(xié)議[J];電子學報;2008年01期

2 曹崢;鄧淼磊;;通用可組合的RFID搜索協(xié)議[J];華中科技大學學報(自然科學版);2011年04期

3 ;CBCR:CBC MAC with rotating transformations[J];Science China(Information Sciences);2011年11期

4 傅建慶;吳春明;吳吉義;平玲娣;;基于二叉樹的反向Hash鏈遍歷[J];計算機研究與發(fā)展;2012年02期

5 蔣加伏,黃小雯;有限存儲模型的密碼學研究[J];計算技術與自動化;2002年01期

6 馮濤;郭顯;馬建峰;李興華;;MANET節(jié)點不相交多路徑安全源路由協(xié)議[J];計算機學報;2009年06期

7 田有亮;馬建峰;彭長根;姬文江;;群組通信的通用可組合機制[J];計算機學報;2012年04期

8 鄭天翔;;基于三次同余方程的增強的Rabin密碼體制[J];計算機應用;2009年07期

9 趙秀鳳;;哈希證明系統(tǒng)及應用研究[J];計算機科學;2012年S1期

10 田有亮;彭長根;馬建峰;姜奇;朱建明;;安全協(xié)議的博弈論機制[J];計算機研究與發(fā)展;2014年02期

相關博士學位論文 前5條

1 劉勝利;密碼學中信息理論安全的研究[D];西安電子科技大學;1999年

2 馮濤;通用可復合密碼協(xié)議理論及其應用研究[D];西安電子科技大學;2008年

3 王澤成;若干多方數(shù)字簽名體制研究[D];華東師范大學;2008年

4 畢嘉娜;無線傳感器網(wǎng)絡能量有效安全路由協(xié)議研究[D];哈爾濱工業(yè)大學;2009年

5 田有亮;分布式密碼協(xié)議及公平性研究[D];西安電子科技大學;2012年

相關碩士學位論文 前7條

1 黃燁;無線傳感器網(wǎng)絡加密方法的研究[D];南京郵電大學;2011年

2 楚振江;異構(gòu)傳感器網(wǎng)絡密鑰管理機制的研究[D];哈爾濱工程大學;2011年

3 姬春慧;基于神經(jīng)網(wǎng)絡的船用鍋爐控制算法研究[D];大連海事大學;2004年

4 祝孔儒;基于橢圓曲線離散對數(shù)的安全的不經(jīng)意傳輸協(xié)議[D];云南大學;2012年

5 關培達;網(wǎng)絡廣播節(jié)目編排中的競爭策略[D];東北師范大學;2012年

6 張政;異構(gòu)傳感網(wǎng)絡的密鑰協(xié)商機制研究[D];南京理工大學;2013年

7 王夏輝;Hash函數(shù)在無線傳感器網(wǎng)絡中的應用研究[D];北京化工大學;2013年

【二級參考文獻】

相關期刊論文 前2條

1 崔莉,鞠海玲,苗勇,李天璞,劉巍,趙澤;無線傳感器網(wǎng)絡研究進展[J];計算機研究與發(fā)展;2005年01期

2 劉志宏;馬建峰;黃啟萍;;基于區(qū)域的無線傳感器網(wǎng)絡密鑰管理[J];計算機學報;2006年09期

【相似文獻】

相關期刊論文 前10條

1 胡學先;劉文芬;蘭巨龍;;改進的基于標準模型的一輪密鑰交換協(xié)議[J];電子與信息學報;2009年11期

2 陳樂;曹珍富;;抵抗基于長度攻擊的方法[J];上海交通大學學報;2010年07期

3 程輝;歐陽旦;;DSS簽字標準在密鑰交換協(xié)議中的應用研究[J];計算機工程;2006年20期

4 袁哲;趙永哲;李光偉;張文睿;邸朝生;楊帆;王軍;;利用有限域上遍歷矩陣實現(xiàn)基于隱藏基的密鑰交換[J];吉林大學學報(理學版);2009年04期

5 劉子俊;;Diffie-Hellman協(xié)議的安全分析及實現(xiàn)[J];技術與市場;2010年10期

6 湯紹春;;由群論中換位子實現(xiàn)的密鑰交換及其應用[J];韶關學院學報;2010年09期

7 殷駿,張穎超;基于橢圓曲線加密的Ad hoc網(wǎng)絡密鑰交換方案[J];武漢理工大學學報(交通科學與工程版);2005年05期

8 孫衛(wèi)平;尹霞;施新剛;;密鑰交換協(xié)議性能測試研究[J];計算機應用;2006年04期

9 蔣睿;李建華;潘理;鐵嶺;;新型增強3GPP認證密鑰交換協(xié)議[J];計算機工程;2006年12期

10 李閔;盧建朱;黃益栓;;基于D-H公鑰系統(tǒng)前向保密的密碼協(xié)議[J];計算機技術與發(fā)展;2006年10期

相關會議論文 前10條

1 曹春杰;楊超;馬建峰;;新一代Internet密鑰交換協(xié)議的分析與改進[A];2006年全國理論計算機科學學術年會論文集[C];2006年

2 顧亞強;吳波;趙暉;;基于口令認證的三方密鑰交換協(xié)議改進方法[A];中國電子學會第十六屆信息論學術年會論文集[C];2009年

3 郎燕峰;任志國;;Internet密鑰交換協(xié)議的研究及協(xié)議的改進[A];第十九次全國計算機安全學術交流會論文集[C];2004年

4 鄧少鋒;鄧帆;李益發(fā);;基于CPK的可證安全組群密鑰交換協(xié)議[A];第十一屆保密通信與信息安全現(xiàn)狀研討會論文集[C];2009年

5 曹慧娟;何大可;;基于SRP和基于SOKE的TLS握手協(xié)議的分析與比較[A];2006北京地區(qū)高校研究生學術交流會——通信與信息技術會議論文集（下）[C];2006年

6 馬瑞萍;;SSL安全性分析研究[A];第十六次全國計算機安全學術交流會論文集[C];2001年

7 張衛(wèi)莉;鈕心忻;;Ad Hoc網(wǎng)絡隨選驅(qū)動的認證路由協(xié)議[A];中國通信學會第五屆學術年會論文集[C];2008年

8 葉承宗;余梅生;王穎;;IKE協(xié)議中預共享密鑰認證的分析及改進[A];2006年全國開放式分布與并行計算機學術會議論文集（三）[C];2006年

9 顧永跟;傅育熙;朱涵;呂銀華;;基于進程演算的安全協(xié)議形式化分析[A];2005年全國理論計算機科學學術年會論文集[C];2005年

10 劉志猛;趙燕麗;;數(shù)字簽名在一類認證和密鑰協(xié)商協(xié)議中的應用和安全分析[A];2008通信理論與技術新進展——第十三屆全國青年通信學術會議論文集（上）[C];2008年

相關重要報紙文章 前5條

1 ;VPN技術比較[N];計算機世界;2002年

2 ;寬帶接入的IP-VPN實現(xiàn)[N];人民郵電;2001年

3 ;IP-VPN業(yè)務種類有多少[N];中國電子報;2001年

4 ;億陽信通用VPN降低安全成本[N];中國計算機報;2003年

5 ;國密3G路由器破冰在即 邁普樹信息安全行業(yè)標桿[N];中國計算機報;2011年

相關博士學位論文 前10條

1 賈洪勇;安全協(xié)議的可組合性分析與證明[D];北京郵電大學;2009年

2 胡學先;標準模型下口令認證密鑰交換協(xié)議的分析與設計[D];解放軍信息工程大學;2010年

3 曹春杰;可證明安全的認證及密鑰交換協(xié)議設計與分析[D];西安電子科技大學;2008年

4 鄧淼磊;幾類安全協(xié)議的研究與設計[D];西安電子科技大學;2010年

5 裴士輝;遍歷矩陣及其在公鑰密碼體制中的應用[D];吉林大學;2008年

6 張立江;認證和密鑰交換協(xié)議的分析與設計[D];山東大學;2009年

7 張俊偉;密碼協(xié)議的可組合安全[D];西安電子科技大學;2010年

8 程慶豐;密鑰交換協(xié)議及安全模型的分析與設計[D];解放軍信息工程大學;2011年

9 王皓;基于身份密碼體制的研究[D];山東大學;2012年

10 柳秀梅;基于口令認證的密鑰交換協(xié)議若干關鍵技術研究[D];東北大學　;2009年

相關碩士學位論文 前10條

1 謝瑾仁;Internet密鑰交換協(xié)議的分析改進與實現(xiàn)[D];蘭州大學;2013年

2 李新;互聯(lián)網(wǎng)密鑰交換協(xié)議的研究與實現(xiàn)[D];北京郵電大學;2010年

3 馬建立;快速密鑰交換協(xié)議的分析與改進[D];南昌大學;2012年

4 項金萍;基于口令的兩方認證和密鑰交換協(xié)議的研究[D];杭州師范大學;2011年

5 周恩光;基于口令認證的密鑰交換協(xié)議的研究[D];東北大學;2008年

6 魏江宏;屬性基認證密鑰交換協(xié)議的設計與分析[D];解放軍信息工程大學;2012年

7 鞏俊卿;匿名口令基密鑰交換協(xié)議和可凈化數(shù)字簽名的研究[D];華東師范大學;2011年

8 殷滿崗;語音保密通信的研究和實現(xiàn)[D];杭州電子科技大學;2011年

9 丁曉飛;口令認證密鑰交換協(xié)議的設計與安全性證明[D];解放軍信息工程大學;2009年

10 李建斌;基于模型的組群安全分析方法及應用[D];大連理工大學;2011年

，

本文編號：1947163