若干代理密碼體制的研究與設計.pdf

1、隨著計算機網(wǎng)絡、信息技術(shù)的飛速發(fā)展,如何有效地解決數(shù)字簽名、密文解密的授權(quán)傳遞已經(jīng)成為人們倍受關(guān)注的一個問題.而代理密碼學正是解決這一類問題的一種最為有效、最有潛力的技術(shù)之一.代理密碼學主要包括代理簽名和代理密碼系統(tǒng)兩個部分.其中代理簽名主要研究數(shù)字簽名的授權(quán)問題,而代理密碼系統(tǒng)主要關(guān)注密文解密的授權(quán)問題.近年來,國內(nèi)外許多學者對代理密碼學作了深入的研究.然而,就我們所知,對于代理密碼學的形式化安全性研究還不夠完善.因此,本文的研究重點

2、就在于通過形式化的方法系統(tǒng)地研究和設計一系列代理密碼方案.我們的主要研究成果如下: 1.從通信帶寬的角度來考慮,短代理簽名方案的研究非常有意義.然而,目前短代理簽名的研究并不廣泛.因此,我們首先通過BLS短簽名方案設計了一系列短的代理簽名方案,包括基本的短代理簽名、短多重代理簽名以及短門限代理簽名方案.對于每一個方案我們都在隨機預言機模型下進行可證安全性證明. 2.有關(guān)代理簽名者的隱私保護問題,許多學者對此都作過深入的研

3、究,但是結(jié)果都并不十分令人滿意.因此,我們將代理簽名與環(huán)簽名技術(shù)相結(jié)合,提出一個新的代理環(huán)簽名方案以解決代理簽名者的隱私保護問題,同樣在隨機預言機模型下對方案進行可證安全性證明. 3.有些實際的應用要求代理簽名者只能代表原始簽名者代簽一個消息.就我們所知,基于身份的一次代理簽名方案還沒有被研究過.因此,我們在論文中對基于身份的一次代理簽名方案進行了形式化定義,并提出第一個可證安全的基于身份的一次代理簽名方案. 4.非轉(zhuǎn)化