非否認(rèn)協(xié)議關(guān)鍵技術(shù)研究.pdf

1、隨著計(jì)算機(jī)和通信技術(shù)的快速發(fā)展,電子郵件、電子商務(wù)等應(yīng)用逐漸滲透到日常生活的方方面面,如何保證信息交換中各方的公平、隱私是當(dāng)前備受關(guān)注的問(wèn)題。非否認(rèn)協(xié)議是解決這類問(wèn)題的關(guān)鍵技術(shù),它為參與實(shí)體提供非否認(rèn)服務(wù),包括發(fā)方非否認(rèn)和收方非否認(rèn)。非否認(rèn)協(xié)議的設(shè)計(jì)需要滿足公平性、時(shí)限性、機(jī)密性等安全屬性。本文主要研究多方非否認(rèn)協(xié)議的設(shè)計(jì)和非否認(rèn)協(xié)議的形式化分析方法。主要研究成果如下:
　　 1.提出一種支持透明離線TTP的多方非否認(rèn)協(xié)議。由于

2、采用透明TTP,協(xié)議可以更好的保護(hù)協(xié)議實(shí)體的隱私。此外,協(xié)議具有較高的效率,且滿足公平性、時(shí)限性和機(jī)密性。
　　 2.提出一種自適應(yīng)多方非否認(rèn)協(xié)議。協(xié)議增加了初始化接收者集合的過(guò)程,采用相同的密鑰與一個(gè)隨機(jī)數(shù)的異或加密不同的消息。在不同的初始參數(shù)下,協(xié)議可以退化為已有的發(fā)送相同消息或完全不同的消息給多個(gè)接收者的多方非否認(rèn)協(xié)議。在發(fā)送不完全相同消息給多個(gè)接收者的應(yīng)用場(chǎng)景中,協(xié)議可以減少公鑰運(yùn)算量、降低協(xié)議實(shí)體負(fù)擔(dān),具有更高的效率。

3、
　　 3.提出一種密鑰鏈多方非否認(rèn)協(xié)議。協(xié)議采用雙密鑰鏈結(jié)構(gòu)構(gòu)造加密密鑰。在多輪消息交換情況下,僅需保存一個(gè)協(xié)議會(huì)話標(biāo)識(shí)符和一組協(xié)議實(shí)體標(biāo)識(shí)符,可有效減輕TTP存儲(chǔ)負(fù)擔(dān)。
　　 4.提出非否認(rèn)協(xié)議公平性分析的擴(kuò)展串空間方法。該方法首先將簽名運(yùn)算引入串空間理論,對(duì)串空間理論的項(xiàng)集合和子項(xiàng)關(guān)系進(jìn)行重新定義。然后通過(guò)將協(xié)議行為歸納為攻擊者串、發(fā)送者串、接收者串和可信第三方串構(gòu)造擴(kuò)展串空間模型。最后用定理證明方法,驗(yàn)證叢中存在