中期檢查報(bào)告

碩士學(xué)位論文中期檢查報(bào)告北京航空航天大學(xué)計(jì)算機(jī)學(xué)院·PAGE10·北京航空航天大學(xué)計(jì)算機(jī)學(xué)院碩士學(xué)位論文中期檢查報(bào)告論文題目：銀行云計(jì)算中同態(tài)加密算法研究專業(yè)：計(jì)算機(jī)軟件與理論研究方向：數(shù)據(jù)安全，加密技術(shù)研究生：學(xué)號(hào)：指導(dǎo)教師：北京航空航天大學(xué)計(jì)算機(jī)學(xué)院2016年07月26日目錄TOC\o"1-4"1 論文工作計(jì)劃 11.1論文選題背景 11.2論文研究目標(biāo) 21.3論文主要研究內(nèi)容 21.4論文工作計(jì)劃 21.5預(yù)期成果 22 已經(jīng)完成的工作 32.1國內(nèi)外同態(tài)加密方案分析 32.2Fp上全同態(tài)加密方案的設(shè)計(jì) 43 關(guān)鍵技術(shù) 74 下一階段工作計(jì)劃 84.1存在的問題 84.2尚未完成的工作 84.3解決問題的技術(shù)思路或措施 84.4下一階段計(jì)劃 95 主要參考文獻(xiàn) 9銀行云計(jì)算中同態(tài)加密算法研究論文工作計(jì)劃論文選題背景近年來，中小銀行發(fā)展迅猛，在規(guī)模、效益等方面的提升上都取得很大的成績，但由于資金，技術(shù)能力，運(yùn)營維護(hù)等種種原因，很難通過自身實(shí)力建設(shè)IT系統(tǒng)，在此情況下，基于云計(jì)算的IT系統(tǒng)托管是解決該問題的最佳途徑。但銀行業(yè)有其特殊性，對(duì)數(shù)據(jù)安全性、私密性的要求遠(yuǎn)高于其它行業(yè)，基于云計(jì)算平臺(tái)的銀行系統(tǒng)，其所有用戶的數(shù)據(jù)都放在云端，并通過網(wǎng)絡(luò)進(jìn)行數(shù)據(jù)傳輸，在云平臺(tái)遭受攻擊，或者存在管理漏洞、人為破壞安全管理制度等情況下，銀行信息發(fā)生丟失、竊取等現(xiàn)象，對(duì)于用戶而言是致命的。如何保證云計(jì)算系統(tǒng)中數(shù)據(jù)不被隨意盜取、查看和拷貝是云服務(wù)商面臨的重大挑戰(zhàn)。云服務(wù)商除具備相應(yīng)安全管理資質(zhì)、建立安全管理制度之外，還應(yīng)采取相應(yīng)技術(shù)手段，從根本上杜絕銀行所屬數(shù)據(jù)的安全和私密，提高銀行對(duì)云計(jì)算平臺(tái)的信任等級(jí)。采用數(shù)據(jù)加密技術(shù)是應(yīng)對(duì)銀行云計(jì)算中數(shù)據(jù)安全問題的重要途徑。傳統(tǒng)的數(shù)據(jù)加密技術(shù)可解決數(shù)據(jù)存儲(chǔ)及傳輸過程的安全，但對(duì)諸如賬戶金額、交易流水記錄等銀行無需暴露給云服務(wù)商且需要進(jìn)行計(jì)算的關(guān)鍵業(yè)務(wù)數(shù)據(jù)，傳統(tǒng)加密算法不再適用，因?yàn)樵擃悢?shù)據(jù)在系統(tǒng)中需要隨時(shí)根據(jù)用戶交易情況進(jìn)行更新和計(jì)算，而在加密狀態(tài)下系統(tǒng)無法識(shí)別數(shù)據(jù)致使計(jì)算無法完成，目前該類數(shù)據(jù)均采用明文存儲(chǔ)于云平臺(tái)數(shù)據(jù)庫中，不利于銀行及用戶數(shù)據(jù)安全和隱私保護(hù)。在這種情況下，我們謀求一種既能確保數(shù)據(jù)安全與隱私，還可充分利用云平臺(tái)計(jì)算能力的加密方法。同態(tài)加密是一種基于數(shù)學(xué)困難問題的密碼學(xué)技術(shù)，它具備如下性質(zhì)：對(duì)經(jīng)過同態(tài)加密的數(shù)據(jù)進(jìn)行操作得到一個(gè)輸出，將這一輸出進(jìn)行同態(tài)解密，其結(jié)果與用同一方法操作未加密的原始數(shù)據(jù)得到的輸出結(jié)果一致。該類加密算法可使云計(jì)算平臺(tái)即使不知道明文數(shù)據(jù)，也可對(duì)密文直接進(jìn)行計(jì)算，銀行獲取計(jì)算結(jié)果密文后，解密即可得在本端對(duì)明文進(jìn)行同樣計(jì)算的結(jié)果?；谕瑧B(tài)加密技術(shù)，我們可以在加密的數(shù)據(jù)中進(jìn)行檢索、對(duì)比、計(jì)算等操作，得到正確的結(jié)果，而在整個(gè)處理過程中無需對(duì)數(shù)據(jù)進(jìn)行解密，其重要意義在于，真正從根本上解決云計(jì)算等場景下用戶將數(shù)據(jù)及其操作委托給第三方時(shí)的保密問題。論文研究目標(biāo)針對(duì)銀行云計(jì)算場景下數(shù)據(jù)安全問題，開展數(shù)據(jù)同態(tài)加密算法研究。面向銀行應(yīng)用場景，對(duì)原有算法適當(dāng)改進(jìn)或裁剪，有效降低算法復(fù)雜度和密鑰長度，提高加解密運(yùn)算效率，提出適用于銀行云計(jì)算的同態(tài)加密方案，設(shè)計(jì)實(shí)現(xiàn)算法驗(yàn)證模型系統(tǒng)，并給出驗(yàn)證方法和測試結(jié)果。論文主要研究內(nèi)容面向銀行云計(jì)算應(yīng)用場景的全同態(tài)加密方案設(shè)計(jì)。面向銀行云計(jì)算應(yīng)用場景的全同態(tài)加密方案的編碼與實(shí)現(xiàn)。論文工作計(jì)劃序號(hào)時(shí)間段計(jì)劃完成的工作12015.12-2016.01通用加密算法研究，同態(tài)加密方案的密碼學(xué)基礎(chǔ)學(xué)習(xí)22016.02-2016.03全同態(tài)加密方案構(gòu)造思想和實(shí)現(xiàn)技術(shù)研究32016.04-2016.06面向銀行云計(jì)算應(yīng)用場景的全同態(tài)加密方案設(shè)計(jì)42016.07-2016.09面向銀行云計(jì)算應(yīng)用場景的全同態(tài)加密方案的編碼與實(shí)現(xiàn)52016.10-2016.10測試模擬方案的性能，完成參數(shù)確定與bug修復(fù)62016.11-2016.11畢業(yè)論文撰寫預(yù)期成果1.面向銀行云計(jì)算應(yīng)用場景的全同態(tài)加密方案2.面向銀行云計(jì)算應(yīng)用場景的全同態(tài)加密方案的模擬實(shí)現(xiàn)系統(tǒng)及測試數(shù)據(jù)3.小論文2篇4.相關(guān)專利1項(xiàng)已經(jīng)完成的工作銀行云計(jì)算中同態(tài)運(yùn)算需求分析在調(diào)研部分中小銀行相關(guān)情況后，根據(jù)銀行業(yè)務(wù)邏輯和中小銀行體量特點(diǎn)，分析預(yù)測云計(jì)算環(huán)境中銀行數(shù)據(jù)的同態(tài)加密需求。數(shù)據(jù)種類：銀行賬目，主要是賬戶余額、交易額、利息率等數(shù)值類數(shù)據(jù)，為一定精度的實(shí)數(shù)；數(shù)據(jù)精度：小數(shù)部分保留3位有效數(shù)字（十進(jìn)制）；數(shù)據(jù)長度：按照一定的密鑰更換周期，預(yù)測該段時(shí)間內(nèi)中小銀行交易量，結(jié)合數(shù)據(jù)精度要求，確定需加密的數(shù)值可用48bit定點(diǎn)數(shù)表示；同態(tài)運(yùn)算次數(shù)：根據(jù)中小銀行交易量，預(yù)測其同態(tài)運(yùn)算次數(shù)需求為216國內(nèi)外同態(tài)加密方案分析通過對(duì)國內(nèi)外同態(tài)加密領(lǐng)域的大量文獻(xiàn)閱讀和分析，將已發(fā)表的同態(tài)加密方案分為三個(gè)類別。基于同態(tài)解密技術(shù)的自啟動(dòng)方案2009年IBM研究員Gentry構(gòu)造出第一個(gè)全同態(tài)加密方案，其后發(fā)表的多個(gè)方案都遵循Gentry的構(gòu)造框架，在各種環(huán)的理想上，首先構(gòu)建一個(gè)部分(somewhat)同態(tài)加密方案(即方案只能執(zhí)行低次多項(xiàng)式計(jì)算)，然后“壓縮”解密電路，從而執(zhí)行自己的解密函數(shù)進(jìn)行同態(tài)解密，達(dá)到控制密文噪聲增長的目的，通過迭代，最終理論上實(shí)現(xiàn)真正意義的全同態(tài)。代表方案有2010年由Dijk，Gentry，Halevi和Vaikuntanathan聯(lián)合提出的整數(shù)上的全同態(tài)加密方案(DGHV方案)，實(shí)現(xiàn)了1-bit數(shù)據(jù)的全同態(tài)加密；2013年Cheon等人提出了批量全同態(tài)加密方案，可一次性加密多比特?cái)?shù)據(jù)，提高了效率；2015年KNuida等提出了非二進(jìn)制空間上的同態(tài)加密方案，可實(shí)現(xiàn)比特串的批量加密。盡管同態(tài)解密是實(shí)現(xiàn)全同態(tài)加密的基石，但是同態(tài)解密的效率很低，同時(shí)，該類方案目前僅實(shí)現(xiàn)單比特或比特流的加密，對(duì)銀行云計(jì)算下的數(shù)值（一定精度和長度的實(shí)數(shù)）計(jì)算不適用，需進(jìn)行一定的改進(jìn)。無自啟動(dòng)的層次型同態(tài)加密方案為規(guī)避由于同態(tài)解密帶來的高復(fù)雜度，部分學(xué)者打破原有的Gentry構(gòu)建全同態(tài)加密方案的框架，基于環(huán)上LWE問題構(gòu)造無需自啟動(dòng)實(shí)現(xiàn)一定次數(shù)（多項(xiàng)式次數(shù)）的同態(tài)加密方案，以適用部分場景。其基本思路是首先構(gòu)建一個(gè)部分同態(tài)加密方案，密文計(jì)算后，用密鑰交換技術(shù)控制密文向量的維數(shù)膨脹問題，然后使用模交換技術(shù)控制密文計(jì)算的噪聲增長。通過上述方法不需要同態(tài)解密技術(shù)就可獲得層次型全同態(tài)加密方案，但該類方案并不是真正的全同態(tài)，由于其計(jì)算次數(shù)需要在方案設(shè)計(jì)時(shí)充分預(yù)估，一旦超過該次數(shù)方案即失效，同時(shí)為實(shí)現(xiàn)密鑰交換和模交換，對(duì)密鑰長度等參數(shù)有較高要求，也不能完全滿足銀行云計(jì)算的需求。不帶噪聲消減的同態(tài)加密方案上述兩類方案在使用中均由于密文噪聲在同態(tài)乘法中的快速增長而設(shè)計(jì)了各種消減措施，因而使得計(jì)算復(fù)雜度很高或者計(jì)算次數(shù)受限，這使得一些人開始探討無噪聲消減的同態(tài)加密方案。2015年，MasahiroYagisawa、DongxiLiu、Li&Wang分別利用八元環(huán)、向量和非交換環(huán)的性質(zhì)結(jié)合模運(yùn)算提出了各自的無噪聲消減的同態(tài)加密方案，構(gòu)造方法簡單易懂，相比上述兩類方案效率有很大的提高，但由于其線性映射關(guān)系較為明確，安全性較低，需要進(jìn)一步改進(jìn)。Fp上全同態(tài)加密方案的設(shè)計(jì)參照DGHV方案，為更好的適應(yīng)本課題需求，對(duì)其進(jìn)行改進(jìn)，將其明文空間由單比特的F2拓展到有限數(shù)域FpSomewhat方案按照DGHV方案中的相應(yīng)參數(shù)進(jìn)行設(shè)置。參數(shù)設(shè)置γ公鑰中整數(shù)的比特長度：η私鑰的比特長度；ρ噪聲的比特長度；ε明文的比特長度；ξ有限素域Fp中p這些參數(shù)需滿足以下條件：=(log≥·=(≤≤/2，是為了保證明文m我們也使用另一個(gè)噪聲參數(shù)’=+(logε對(duì)稱加密方案本方案可加密任一小于p的整數(shù)，而無需再將該整數(shù)轉(zhuǎn)化成二進(jìn)制數(shù)后再逐比特加密，進(jìn)而可以大幅度提高方案的效率。明文空間為Fp，即m∈{0,1,?,p-1}KeyGen(ε)：在區(qū)間2Z+Encrypt(Kp,m)：對(duì)任意的整數(shù)m∈DecryptKs,改進(jìn)之后還有一個(gè)問題，就是修改后的方案對(duì)于整數(shù)上的乘法和加法是否仍然保持同態(tài)性質(zhì)?下面驗(yàn)證其同態(tài)性：設(shè)c1=EE下面我們討論一下噪聲的情況，若m+pr<s/2，噪聲即為m+pr否則若m+接下來我們將上述方案調(diào)整為公鑰加密方案。公鑰加密方案KeyGen(ε)：選取一個(gè)素?cái)?shù)s∈[2η-1,2η]作為私鑰，隨機(jī)選擇一個(gè)素?cái)?shù)q∈2EncryptKp,m：隨機(jī)選擇兩個(gè)整數(shù)r1∈(-2DecryptKs,EvaluateKp,C,c1,?,cg：對(duì)于給定的電路Cε，以及g解密正確性這個(gè)方案的噪聲為cmods，而c=m+pr1+r2h+sr2c/s=m+p因此為了能夠滿足：c/s=|即m+p進(jìn)而有c-c/s=m+p(r1+r2h)，解密過程的下一步就是對(duì)c-c/s全同態(tài)加密方案為實(shí)現(xiàn)方案的全同態(tài)，需要參照DGHV方案對(duì)解密電路進(jìn)行壓縮，使其變?yōu)榉桨傅目捎?jì)算電路。為了進(jìn)行壓縮我們還需引進(jìn)另外一些參數(shù)：κ=KeyGenε：從[2η-ξ-1,2η-ξ)中隨機(jī)選擇一個(gè)素?cái)?shù)t，計(jì)算s=pt+1，且滿足s/2仍為素?cái)?shù)，若不滿足則重新選取t。私鑰為Ks=s，調(diào)用原方案的KeyGenε算法，產(chǎn)生公鑰Kp=(N,x)。設(shè)置xs=[2κ/s]，隨機(jī)選取一個(gè)漢明重量為λ’ε的Θ維向量iEncryptε：按照原方案Encryptε算法對(duì)明文m進(jìn)行加密生成密文c*，然后令zi←[c*?yi]p，Decryptε：輸入c*，z以及私鑰s，計(jì)算m'←Evaluate：給定電路Cε，然后用整數(shù)上的模N的加法和乘法門相應(yīng)的替換原來電路中的二進(jìn)制加法和乘法門，將密文c1,c2,?,cg輸入到替換所得到的新電路中，為了保證運(yùn)算后能夠正確解密，則需要在密文進(jìn)入運(yùn)算門前先對(duì)其進(jìn)行提取主密文c*其它具體工作以有限數(shù)域上的同態(tài)加密方案為主要內(nèi)容的一篇小論文《AFullyHomomorphicEncryptionSchemeoverFinitePrimeField》由2016云計(jì)算、物聯(lián)網(wǎng)與信息科學(xué)國際會(huì)議(CCITIS2016)收錄，將進(jìn)入EI索引?！兑环N傳送和處理數(shù)據(jù)的方法及系統(tǒng)》專利申請(qǐng)已被受理。同態(tài)加密實(shí)驗(yàn)相關(guān)代碼約1000行。主要為DGHV方案和基于非交換環(huán)的不帶噪聲消減方案的復(fù)現(xiàn)。關(guān)鍵技術(shù)上述的明文空間為Fp的整數(shù)上的全同態(tài)加密方案采用的關(guān)鍵技術(shù)為同態(tài)解密技術(shù)，其主要目的在于有效解決前文中提到，對(duì)于DGHV等方案，其密文噪聲為m+pr，要求m+pr<s/2，解密時(shí)算法為mcmodsmodp=m+prmodp。此時(shí)能夠從密文c中正確還原出明文m，反之，若m+pr≥同態(tài)加密即將結(jié)果密文及相應(yīng)的密鑰分別加密后輸入evaluate，在evaluate算法中同態(tài)執(zhí)行解密電路將輸出一個(gè)新的密文(稱為密文更新)，該密文解密后還是原來的明文，但其噪聲已恢復(fù)到新鮮密文的量級(jí)。如果新密文的噪聲還允許進(jìn)行一次乘法運(yùn)算，那么在每次密文計(jì)算后，通過同態(tài)解密更新密文就可以進(jìn)行下一次計(jì)算，遞歸上述過程就可以對(duì)密文進(jìn)行無限次的計(jì)算，從而實(shí)現(xiàn)了全同態(tài)加密。下一階段工作計(jì)劃存在的問題前文所述的基于DGHV方案改進(jìn)的Fp上的全同態(tài)加密方案雖然將明文空間從單比特整數(shù)拓展到了一定長度的整數(shù)域，但依然與銀行應(yīng)用場景有一定距離。銀行實(shí)際需要帶密運(yùn)算的數(shù)據(jù)應(yīng)為一定精度（小數(shù)點(diǎn)后3位有效數(shù)字）和長度的實(shí)數(shù)，不能直接采用該基于整數(shù)的加密方案，需要對(duì)數(shù)據(jù)進(jìn)行預(yù)先處理尚未完成的工作基于DGHV方案改進(jìn)的Fp上的全同態(tài)加密方案僅在理論上進(jìn)行設(shè)計(jì)和正確性證明，目前尚未進(jìn)行代碼實(shí)驗(yàn)，需在實(shí)驗(yàn)中驗(yàn)證其正確性，并進(jìn)行性能測試，與現(xiàn)有的其它方案進(jìn)行對(duì)比分析，根據(jù)實(shí)驗(yàn)數(shù)據(jù)修改解決問題的技術(shù)思路或措施對(duì)于銀行實(shí)際運(yùn)行數(shù)據(jù)與所設(shè)計(jì)的同態(tài)加密方案中明文為一定長度整數(shù)的矛盾，可從兩個(gè)方面考慮解決，一是將實(shí)數(shù)拆分為整數(shù)和小數(shù)兩部分，對(duì)小數(shù)部分放大一定倍數(shù)轉(zhuǎn)換為整數(shù)，兩部分分別加密儲(chǔ)存，同態(tài)計(jì)算中分開計(jì)算，并在方案中考慮進(jìn)位等情況，二是繼續(xù)研究其它現(xiàn)有的同態(tài)加密方案，若有明文空間更接近實(shí)際場景的，則更換為該構(gòu)造方案并改進(jìn)。下一階段計(jì)劃12016.07-2016.09繼續(xù)進(jìn)行面向銀行云計(jì)算應(yīng)用場景的全同態(tài)加密方案的設(shè)計(jì)，并通過實(shí)驗(yàn)確定最終方案22016.10-2016.10測試模擬方案的性能，完成參數(shù)確定與bug修復(fù)32016.11-2016.11畢業(yè)論文撰寫主要參考文獻(xiàn)[1]GentryC.Fullyhomomorphicencryptionusingideallattices[C].Procofthe41stAnnualACMSymposiumonTheoryofComputing.NewYork:ACMPress,2009:169-178.[2]VanDijkM,GentryC,HaleviS,etal.Fullyhomomorphicencryptionovertheintegers[C]//AnnualInternationalConferenceontheTheoryandApplicationsofCryptographicTechniques.SpringerBerlinHeidelberg,2010:24-43.[3]BrakerskiZ,GentryC,VaikuntanathanV.FullyHomomorphicEncryptionwithoutBootstrapping.[J].AcmTransactionsonComputationTheory,2011,18(18):169--178.[4]BrakerskiZ.FullyhomomorphicencryptionwithoutmodulusswitchingfromclassicalGapSVP[M]//AdvancesinCryptology–CRYPTO2012.SpringerBerlinHeidelberg,2012:868-886.[5]CheonJH,CoronJS,KimJ,etal.Batchfullyhomomorphicencryptionovertheintegers[C]//AnnualInternationalConferenceontheTheoryandApplicationsofCryptographicTechniques.SpringerBerlinHeidelberg,2013:315-335.[6]GentryC,SahaiA,WatersB.Homomorphicencryptionfromlearningwitherrors:Conceptually-simpler,asymptotically-faster,attribute-based[M]//AdvancesinCryptology–CRYPTO2013.SpringerBerlinHeidelberg,2013:75-92.[7]NuidaK,KurosawaK.(Batch)FullyHomomorphicEncryptionoverIntegersforNon-BinaryMessageSpaces[C]//AnnualInternationalConferenceontheTheoryandApplicationsofCryptographicTechniques.SpringerBerlinHeidelberg,2015:537-555.[8]錫曉峰,曹寶香.一種適用于云計(jì)算環(huán)境的改進(jìn)全同態(tài)加密方案[J].計(jì)算機(jī)技術(shù)與發(fā)展,2015(2):144-147.[9]YagisawaM.FullyHomomorphicEncryptionwithoutbootstrapping[J]./,2015.[10]WangY.Notesontwofull