本文關(guān)鍵詞：DGKMNP協(xié)議的改進(jìn)及形式化分析

  更多相關(guān)文章： 多方不可否認(rèn) 時限性 抗合謀攻擊 公平性 形式化分析

【摘要】：保證信息交換中的公平性和安全性是多方不可否認(rèn)協(xié)議的重要任務(wù)。文章對基于雙重組加密的多方不可否認(rèn)(DGKMNP)協(xié)議進(jìn)行分析研究,發(fā)現(xiàn)其存在不滿足時限性的缺陷,并且不能抵抗合謀攻擊,針對這些問題提出一種新的改進(jìn)思路。通過向協(xié)議消息中添加時間限制信息和加密身份標(biāo)識的辦法對該協(xié)議作出了改進(jìn),使用SVO邏輯對其安全性進(jìn)行形式化分析,結(jié)果表明改進(jìn)后的協(xié)議滿足時限性和公平性,且協(xié)議執(zhí)行效率高。
【作者單位】： 解放軍理工大學(xué)指揮信息系統(tǒng)學(xué)院1營1連;解放軍理工大學(xué)指揮信息系統(tǒng)學(xué)院;解放軍理工大學(xué)指揮信息系統(tǒng)學(xué)院研究生2隊;
【關(guān)鍵詞】： 多方不可否認(rèn) 時限性 抗合謀攻擊 公平性 形式化分析
【分類號】：TN915.04
【正文快照】： Zhou,Gollmarm于1996年提出了一個著名的兩方不可否認(rèn)協(xié)議ZG(Zhou-Gollmann)w。Kremer等人通過多方擴展ZG,于2000年首次提出允許一個發(fā)送方發(fā)送相同的消息給多個接收方的不可否認(rèn)協(xié)議KNKKremer-MarkowitchF。Onieva等人利用不同密鑰加密不同消息的方法對KM協(xié)議進(jìn)行改進(jìn),提出了

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 范紅,馮登國;安全協(xié)議形式化分析方法綜述之二——基于攻擊結(jié)構(gòu)性方法[J];網(wǎng)絡(luò)安全技術(shù)與應(yīng)用;2003年06期

2 郭宇燕;;安全協(xié)議的形式化分析方法初探[J];內(nèi)江科技;2007年11期

3 范紅,馮登國;一種混合的安全協(xié)議形式化分析技術(shù)[J];中國科學(xué)院研究生院學(xué)報;2002年03期

4 范紅,馮登國,鄒良惠;安全協(xié)議形式化分析方法綜述之一:基于推理結(jié)構(gòu)性方法[J];網(wǎng)絡(luò)安全技術(shù)與應(yīng)用;2003年05期

5 常亮;古天龍;;安全協(xié)議及其形式化分析研究[J];桂林電子工業(yè)學(xué)院學(xué)報;2006年04期

6 蔡永泉;朱勇;;一種改進(jìn)的A(0)協(xié)議及其形式化分析[J];計算機工程與應(yīng)用;2006年34期

7 亓文華;張其善;劉建偉;;關(guān)于安全協(xié)議的形式化分析方法的研究[J];遙測遙控;2007年02期

8 文靜華;張梅;張煥國;;電子支付協(xié)議的博弈邏輯模型與形式化分析[J];微電子學(xué)與計算機;2007年09期

9 陸陽;肖軍模;劉晶;;一種新的安全協(xié)議形式化分析方法——證據(jù)邏輯[J];計算機工程;2008年02期

10 卜奎昊;;安全協(xié)議形式化分析方法的融合性研究[J];西北師范大學(xué)學(xué)報(自然科學(xué)版);2010年05期

中國重要會議論文全文數(shù)據(jù)庫 前9條

1 文靜華;張梅;張煥國;;電子支付協(xié)議的博弈邏輯模型與形式化分析[A];2007年全國開放式分布與并行計算機學(xué)術(shù)會議論文集(上冊)[C];2007年

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

3 肖美華;鄧宸芳;馬小薏;薛錦云;江耘;;網(wǎng)絡(luò)安全認(rèn)證協(xié)議形式化分析[A];第二十次全國計算機安全學(xué)術(shù)交流會論文集[C];2005年

4 崔楠;汪學(xué)明;;基于SVO邏輯的電子商務(wù)協(xié)議非否認(rèn)性形式化分析[A];邏輯學(xué)及其應(yīng)用研究——第四屆全國邏輯系統(tǒng)、智能科學(xué)與信息科學(xué)學(xué)術(shù)會議論文集[C];2008年

5 張梅;文靜華;張煥國;;基于ATL的電子商務(wù)協(xié)議建模與形式化分析[A];2009年全國開放式分布與并行計算機學(xué)術(shù)會議論文集(上冊)[C];2009年

6 李秋山;胡游君;;低成本RFID系統(tǒng)安全協(xié)議設(shè)計及其形式化分析[A];2006北京地區(qū)高校研究生學(xué)術(shù)交流會——通信與信息技術(shù)會議論文集（上）[C];2006年

7 謝鴻波;周明天;;安全協(xié)議的形式化技術(shù):述評[A];’2004計算機應(yīng)用技術(shù)交流會議論文集[C];2004年

8 徐銳;;設(shè)計安全協(xié)議[A];第十八次全國計算機安全學(xué)術(shù)交流會論文集[C];2003年

9 劉忠;王成道;;基于漢語語意形式系統(tǒng)的符號化研究[A];第六屆全國計算機應(yīng)用聯(lián)合學(xué)術(shù)會議論文集[C];2002年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 范紅;安全協(xié)議形式化分析理論與方法[D];中國人民解放軍信息工程大學(xué);2003年

2 張帆;無線網(wǎng)絡(luò)安全協(xié)議的形式化分析方法[D];西安電子科技大學(xué);2007年

3 陳俊清;可信普適服務(wù)的形式化分析與驗證[D];上海交通大學(xué);2012年

4 汪學(xué)明;多方安全協(xié)議的形式化分析方法研究與應(yīng)用[D];貴州大學(xué);2008年

5 楊超;無線網(wǎng)絡(luò)協(xié)議的形式化分析與設(shè)計[D];西安電子科技大學(xué);2008年

6 魯來鳳;安全協(xié)議形式化分析理論與應(yīng)用研究[D];西安電子科技大學(xué);2012年

7 朱薏;數(shù)據(jù)庫管理系統(tǒng)安全性形式化分析研究[D];華中科技大學(xué);2014年

8 趙輝;安全協(xié)議形式化分析技術(shù)的研究[D];大連理工大學(xué);2010年

9 何安平;基于層次模型的混合系統(tǒng)形式化分析與驗證[D];蘭州大學(xué);2011年

10 李云峰;電子商務(wù)協(xié)議安全性的形式化分析方法研究[D];西南交通大學(xué);2009年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 張玲玲;物聯(lián)網(wǎng)安全協(xié)議形式化分析與驗證[D];聊城大學(xué);2015年

2 王煥孝;基于SAT的安全協(xié)議形式化分析方法研究與應(yīng)用[D];解放軍信息工程大學(xué);2014年

3 常寅龍;電子商務(wù)協(xié)議的形式化分析與漏洞檢測[D];福州大學(xué);2013年

4 丁洪;公平交換協(xié)議的理性模型及其形式化分析[D];貴州大學(xué);2016年

5 王潔;公平不可否認(rèn)協(xié)議設(shè)計及其形式化分析[D];重慶大學(xué);2008年

6 成敏盈;電力系統(tǒng)安全協(xié)議形式化分析技術(shù)研究[D];廣東工業(yè)大學(xué);2008年

7 李軼，

本文編號：925579