發(fā)布時(shí)間：2021-10-30 20:52

　　隨著時(shí)代的發(fā)展,越來(lái)越多的計(jì)算機(jī)和?絡(luò)技術(shù)被引?我們的?常?活。這些新技術(shù)中的安全問(wèn)題也越來(lái)越吸引?們的關(guān)注。其中,有很??部分安全問(wèn)題涉及到時(shí)間,地點(diǎn)這?類(lèi)信息。如何在密碼協(xié)議中處理這?類(lèi)信息,以及如何保障這些信息的安全和隱私,便成為了研究?員關(guān)注的?個(gè)焦點(diǎn)。本?旨在總結(jié)和歸納構(gòu)造可證明的基于時(shí)空信息的密碼協(xié)議的?般?法,并舉例展?如何使?這些?法解決各類(lèi)密碼學(xué)問(wèn)題。構(gòu)造可證明的基于時(shí)空信息的密碼協(xié)議有兩個(gè)共同難點(diǎn):?,如何合理建模將時(shí)空信息納?安全模型;?,是如何在上述安全模型下構(gòu)造可證明安全的協(xié)議。針對(duì)問(wèn)題?,本?給出了?種定義這?類(lèi)問(wèn)題的安全性的?般?法。針對(duì)問(wèn)題?,我們展?了?系列這類(lèi)協(xié)議的構(gòu)造和證明技巧,主要包括:如何使?已有的協(xié)議來(lái)構(gòu)造復(fù)雜的協(xié)議,如何將協(xié)議的安全性規(guī)約為假設(shè)或者已有協(xié)議的安全性,如何設(shè)計(jì)長(zhǎng)時(shí)間運(yùn)?的可升級(jí)、可擴(kuò)展的復(fù)雜協(xié)議。本文主要研究?jī)?類(lèi)基于時(shí)空信息的密碼協(xié)議:基于位置的密碼協(xié)議和區(qū)塊鏈協(xié)議�；谖恢玫拿艽a協(xié)議是指那些以位置信息為主要操作對(duì)象的協(xié)議,?如位置驗(yàn)證協(xié)議和路徑證明協(xié)議。位置信息便是時(shí)空信息中的“空”信息。路徑則是隨著時(shí)間變化的位置信息,即... 

【文章來(lái)源】：上海交通大學(xué)上海市 211工程院校 985工程院校 教育部直屬院校

【文章頁(yè)數(shù)】：132 頁(yè)

【學(xué)位級(jí)別】：博士

【圖文】：

–1通用可組合模型的示意圖，引自[35]

上海交通學(xué)博學(xué)位論第章背景知識(shí)下我們給出在這模型下，個(gè)協(xié)議模擬了另個(gè)協(xié)議的定義。定義2.11.令execπ,A,E(z)為，E輸z后，再與攻擊者A以及其他參與運(yùn)協(xié)議π后，E的輸出所對(duì)應(yīng)的隨機(jī)變量。定義2.12.execπ,A,E={execπ,A,E(z)}z∈{0,1}定義2.13.我們稱(chēng)協(xié)議π模擬了協(xié)議φ，如果對(duì)于任意攻擊者A均存在攻擊者S，使得對(duì)于任意環(huán)境E，execπ,A,E和execφ,S,E是不可區(qū)分的。2.2.4協(xié)議的功能和實(shí)現(xiàn)個(gè)協(xié)議的安全性可以通過(guò)將它和個(gè)對(duì)應(yīng)的理想?yún)f(xié)議進(jìn)對(duì)來(lái)給出。下我們給出這樣的個(gè)理想?yún)f(xié)議應(yīng)該怎么構(gòu)造。這個(gè)理想?yún)f(xié)議中包含個(gè)特殊的參與稱(chēng)為協(xié)議的功能F，這個(gè)功能在理想?yún)f(xié)議中扮演個(gè)可信第三的。在理想?yún)f(xié)議中，協(xié)議的所有實(shí)質(zhì)作均由F完成，其他參與中的協(xié)議實(shí)例僅僅是個(gè)空殼。每個(gè)協(xié)議實(shí)例（空殼）和F均有認(rèn)證秘密信道鏈接，也就是說(shuō)，這些協(xié)議實(shí)例（空殼）和F的通信是可以認(rèn)為是絕對(duì)安全的。當(dāng)個(gè)參與向他中的協(xié)議實(shí)例（空殼）輸消息時(shí)，這個(gè)消息會(huì)直接傳輸給F。同時(shí)，F(xiàn)對(duì)任意個(gè)參與的協(xié)議實(shí)例（空殼）發(fā)送的消息，也會(huì)直接輸出給對(duì)應(yīng)的參與。這樣的理想?yún)f(xié)議，顯然可以刻畫(huà)絕多數(shù)的協(xié)議的安全需求。參見(jiàn)圖2–2。圖2–2理想?yún)f(xié)議的示意圖，引自[35]當(dāng)然，由于現(xiàn)實(shí)協(xié)議中，攻擊者或多或少是有些能的。如得到參與的交互的消息，向參與發(fā)送假消息。為了在理想?yún)f(xié)議中刻畫(huà)這種能，我們可以允許F和A交互，相當(dāng)于給A開(kāi)扇后門(mén)。于A具體擁有什么樣的能，則需要通過(guò)定義F和A交互過(guò)程來(lái)進(jìn)刻畫(huà)�！�13—

–3比特幣的區(qū)塊鏈，引自[56]


本文編號(hào)：3467410