安全多方計(jì)算及其應(yīng)用協(xié)議研究.pdf

1、安全多方計(jì)算是現(xiàn)代密碼學(xué)領(lǐng)域重要的研究?jī)?nèi)容之一。在分布式網(wǎng)絡(luò)環(huán)境下，實(shí)現(xiàn)多方參與的安全協(xié)同計(jì)算是安全多方計(jì)算的核心研究問(wèn)題?，F(xiàn)有的大多數(shù)網(wǎng)絡(luò)安全應(yīng)用協(xié)議都可以規(guī)約為一個(gè)特定安全多方計(jì)算協(xié)議，因此安全多方計(jì)算吸引了眾多研究者的關(guān)注。
　　 目前，安全多方計(jì)算研究主要集中在兩個(gè)方面：一方面是針對(duì)安全多方計(jì)算基礎(chǔ)理論的研究，包括安全模型及一般安全性定義研究，安全多方計(jì)算基礎(chǔ)協(xié)議及通用設(shè)計(jì)方法的研究，協(xié)議安全性分析方法研究。取得的主要成

2、果有，半誠(chéng)實(shí)模型和惡意模型下嚴(yán)格的安全性定義，不同安全模型下安全協(xié)議的可行性結(jié)論，以及通用的安全協(xié)議設(shè)計(jì)方法等。另一方面，則是針對(duì)實(shí)際應(yīng)用的安全協(xié)議研究，包括電子拍賣、電子選舉、公平交換、基于隱私的數(shù)據(jù)查詢等。取得的主要成果反映在提出了大量安全應(yīng)用協(xié)議。
　　 盡管在理論研究和實(shí)際應(yīng)用方面已經(jīng)取得了不少的成果，但安全多方計(jì)算領(lǐng)域仍然有許多值得研究的內(nèi)容。在基礎(chǔ)理論方面，現(xiàn)有的安全模型和一般安全性定義，不能夠反映不同應(yīng)用問(wèn)題的特點(diǎn)

3、，更實(shí)用的安全模型需要進(jìn)一步研究。使用通用的協(xié)議設(shè)計(jì)方法進(jìn)行應(yīng)用協(xié)議的設(shè)計(jì)，普遍存在著效率低下的問(wèn)題，針對(duì)特定應(yīng)用的協(xié)議設(shè)計(jì)方法值得進(jìn)一步探討。針對(duì)復(fù)雜協(xié)議的安全性分析還缺乏普遍認(rèn)可的方法，需要進(jìn)行更深入的研究。在實(shí)用安全協(xié)議設(shè)計(jì)方面，現(xiàn)有的應(yīng)用安全協(xié)議還存在著可改進(jìn)的空間，解決從應(yīng)用中抽象出來(lái)的新問(wèn)題，需要設(shè)計(jì)新的安全協(xié)議。
　　 基于上述分析，本文的研究工作主要圍繞以下議題展開(kāi)：
　　 1.研究反映應(yīng)用特點(diǎn)的實(shí)用安全

4、模型和安全性定義方法；
　　 2.研究實(shí)用安全協(xié)議的設(shè)計(jì)和分析方法；
　　 3.研究對(duì)已有安全應(yīng)用協(xié)議的改進(jìn)方法；
　　 4.研究新的安全應(yīng)用問(wèn)題和設(shè)計(jì)相關(guān)的安全應(yīng)用協(xié)議；與之對(duì)應(yīng)，本文在研究過(guò)程中取得的主要研究成果包括：
　　 1.在實(shí)用安全模型研究方面探討了實(shí)用安全模型的構(gòu)建方法，提出了一個(gè)以近似安全計(jì)算理論為基礎(chǔ)的應(yīng)用的安全模型和安全性定義，并以之作為在不滿足一般性安全條件的應(yīng)用環(huán)境下，進(jìn)行安全協(xié)議

5、設(shè)計(jì)和安全性分析的理論基礎(chǔ)；
　　 2.在實(shí)用安全協(xié)議設(shè)計(jì)方法方面通過(guò)吸取安全協(xié)議通用設(shè)計(jì)方法的研究成果，提出了利用秘密規(guī)約和合成定理的安全協(xié)議設(shè)計(jì)方法，為應(yīng)用安全協(xié)議設(shè)計(jì)提供了一種有效的方法。
　　 3.在對(duì)已有安全應(yīng)有協(xié)議的改進(jìn)方面重點(diǎn)研究了在電子商務(wù)應(yīng)用領(lǐng)域具有重要實(shí)用價(jià)值的公平交換協(xié)議，提出了對(duì)兩個(gè)重要的公平交換協(xié)議的改進(jìn)方案。針對(duì)無(wú)中心分布式網(wǎng)絡(luò)應(yīng)用環(huán)境，提出了一個(gè)無(wú)第三方公平交換的實(shí)現(xiàn)框架，為公平交換應(yīng)用領(lǐng)域