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

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

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

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