安全協(xié)議理論與方法(編輯修改稿)
2025-02-03 11:39 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 SVO邏輯的應(yīng)用實(shí)例 1) 主體目標(biāo)相同：密鑰分配和認(rèn)證。則 不大可能會(huì)出現(xiàn)否認(rèn)性。 2) 主體目標(biāo)不同：電子商務(wù)，為了利益需求，可能對(duì)已發(fā)生行為進(jìn)行否認(rèn)。收費(fèi)后否認(rèn)收費(fèi)或者因質(zhì)量問(wèn)題而否認(rèn)發(fā)貨。 解決：收集并持有一個(gè)聲稱事件或行為的不可否認(rèn)證據(jù)，并使之能有效地用于解決由于否認(rèn)事件或行為而引起的糾紛。 SVO邏輯的應(yīng)用實(shí)例續(xù) 1 Schneider 在下列文獻(xiàn) 中運(yùn)用通信順序進(jìn)程CSP對(duì)一個(gè) 不可否認(rèn)協(xié)議實(shí)例進(jìn)行了形式化的描述與分析。 Schneider S., Verifying authentication protocols with CSP. Proceedings of the IEEE Computer Security Foundations Workshop X, IEEE Computer Society, 317 1997。 用 SVO也可對(duì)不可否認(rèn)性進(jìn)行分析。 SVO邏輯 一個(gè)不可否認(rèn)協(xié)議實(shí)例 不可否認(rèn)協(xié)議的實(shí)現(xiàn)： 證據(jù)的生成 證據(jù)的交換 證據(jù)的驗(yàn)證 糾紛的解決 一是雙方進(jìn)行同時(shí)的秘密交換 (麻煩，要求協(xié)議雙方具有同等計(jì)算能力不現(xiàn)實(shí) )。 二是借助一個(gè)可信第三方 (TTP)。 SVO邏輯 不可否認(rèn)協(xié)議實(shí)例續(xù) 兩個(gè)基本證據(jù)： NRO(Nonrepudiation of Origin):發(fā)方不可否認(rèn)。 NRR(Nonrepudiation of Receipt):收方不可否認(rèn)。 NRS:(Nonrepudiation of Submission): 提交不可否認(rèn) ,證明已提交給了 TTP，由提交方提供。 NRD:(Nonrepudiation of Delivery): 傳遞不可否認(rèn) ,證明 TTP已交付給了意定接收者，由 TTP提供。 SVO邏輯 不可否認(rèn)協(xié)議實(shí)例續(xù) 【 Zhou和 Gollman提出 】 ZG協(xié)議 1) A?B: fNRO, B,L,C, NRO 2) B?A: fNRR, A,L,C, NRR 3) A?TTP: fNRS, B,L,K, NRS_K 4) B?TTP: fNRD, A,B,L,K, NRD_K 5) A?TTP: fNRD, A,B,L,K, NRD_K SVO邏輯 不可否認(rèn)協(xié)議實(shí)例續(xù) ?:ftp 操作符。 NRO= SA(fNRO,B,L,C) NRR= SB(fNRR,A,L,C) NRS_K= SA(fNRS,B,L,K) NRD_K= STTP(fNRD,A,B,L,K) SVO邏輯 不可否認(rèn)協(xié)議實(shí)例分析 定義 不可否認(rèn)協(xié)議的公平性： 是指從協(xié)議執(zhí)行的開(kāi)始到協(xié)議執(zhí)行結(jié)束的任何一個(gè)階段，通信的雙方要么能夠同時(shí)得到它們所期望的，要么任何一方都得不到有利于自己的信息，從而避免協(xié)議的任一方中斷執(zhí)行的協(xié)議，或否認(rèn)其已發(fā)生的行為以達(dá)成利益不平等的可能。 SVO邏輯 不可否認(rèn)協(xié)議實(shí)例分析 定理 一個(gè)不可否認(rèn)協(xié)議的不可否認(rèn)性是成立的，如果 ： 1)協(xié)議任何一方執(zhí)行后的中止將不會(huì)破壞 通信雙方主體的地位的公平性。 2)在協(xié)議結(jié)束時(shí)提供主體參與協(xié)議行為的證據(jù)，即證據(jù)的有效性。 SVO邏輯 不可否認(rèn)協(xié)議 ZG證明 (1)給出協(xié)議的前提或假設(shè) (2)說(shuō)明協(xié)議目標(biāo) (3)運(yùn)用規(guī)則和公理進(jìn)行推證 SVO邏輯 ZG證明假設(shè) (1)給出協(xié)議的前提或假設(shè) A0: 協(xié)議的運(yùn)行環(huán)境是不安全的 (基本假設(shè) )。 A1: 每個(gè)主體的公鑰是公開(kāi)的。 A2: 每個(gè)主體的私鑰僅為其所知。 A3: TTP believes SA A4: TTP believes SB A5: P believes STTP:P 為參與協(xié)議運(yùn)行的主體 A6: TTP believes (B received C)?TTP believes (A said C) SVO邏輯 ZG證明假設(shè)續(xù) A7: A said (A,B,L,Ek(M)) ? A said (A,B,L,K) ? A said M A8: B received (A,B,L,Ek(M)) ? B received(A,B,L,K) ? B received M A9: TTP believes (A said C ? B received C ? TTP received K) ? TTP says K 表示 TTP只有在確信 A已說(shuō)過(guò) C，并且 B已收到了 C，以及 TTP收到了 K，才將 K公布到其公開(kāi)目錄中。 A10： TTP says X?P ftp X? P sees X TTP將其認(rèn)為是有效的數(shù)據(jù)放入到其公共目錄下，并可為任何主體通過(guò) ftp操作訪問(wèn)。 SVO邏輯 ZG證明假設(shè)續(xù) A11: P believes PK211。(Q,K) ? P received {X}K1? P believes (Q said X) 表示如果 P收到一個(gè)簽名消息，并且 P相信這個(gè)簽名密鑰是 Q的，那么 P相信 Q說(shuō)過(guò) X。 A12: A beliveves fresh(Na) A13: TTP believes ??? SVO邏輯 ZG證明協(xié)議目標(biāo) 一般目標(biāo)： G1 A believes (B received M) G2 B believes (A sai
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1