安全協(xié)議理論與方法(文件)
【正文】 K) ?A believes(B sees K) ? A believes (B received M)— G1 由 F7,F11,A5,得： F15:B believes(TTP says K)? B believes (A said K) 由 F3,F15,得： F16: B believes (A said M)G2 SVO邏輯 ZG證明運(yùn)用規(guī)則和公理進(jìn)行推證續(xù) 協(xié)議可能出現(xiàn)的糾紛及解決 Case 1 A 否認(rèn)向 B發(fā)送了消息 M。 J received SA(fNRO, B,L,Na,C)? J believes (A said C) 3)如果檢查 M=D(K,C),則： J believes (A said M) 得證 G3。 J received STTP(fNRD, A,B,L,K) ?J believes (TTP says K) ?J believes(B received K) SVO邏輯 ZG證明運(yùn)用規(guī)則和公理進(jìn)行推證續(xù) 2) 檢查 NRR是用 B的私鑰對消息 (fNRO,A,L,Na+1,C)的簽名。 16:18:3816:18:3816:182/2/2023 4:18:38 PM ? 1以我獨沈久，愧君相見頻。 2023年 2月 2日星期四 下午 4時 18分 38秒 16:18: ? 1比不了得就不比，得不到的就不要。 下午 4時 18分 38秒 下午 4時 18分 16:18: ? 沒有失敗，只有暫時停止成功！。 16:18:3816:18:3816:18Thursday, February 2, 2023 ? 1不知香積寺，數(shù)里入云峰。 2023年 2月 下午 4時 18分 :18February 2, 2023 ? 1少年十五二十時，步行奪得胡馬騎。 16:18:3816:18:3816:182/2/2023 4:18:38 PM ? 1越是沒有本領(lǐng)的就越加自命不凡。 :18:3816:18:38February 2, 2023 ? 1意志堅強(qiáng)的人能把世界放在手中像泥塊一樣任意揉捏。 下午 4時 18分 38秒 下午 4時 18分 16:18: MOMODA POWERPOINT Lorem ipsum dolor sit amet, consectetur adipiscing elit. Fusce id urna blandit, eleifend nulla ac, fringilla purus. Nulla iaculis tempor felis ut cursus. 感 謝 您 的 下 載 觀 看 專家告訴 。 2023年 2月 下午 4時 18分 :18February 2, 2023 ? 1業(yè)余生活要有意義，不要越軌。 16:18:3816:18:3816:18Thursday, February 2, 2023 ? 1知人者智，自知者明。 下午 4時 18分 38秒 下午 4時 18分 16:18: ? 楊柳散和風(fēng)，青山澹吾慮。 2023年 2月 2日星期四 下午 4時 18分 38秒 16:18: ? 1楚塞三湘接，荊門九派通。 16:18:3816:18:3816:182/2/2023 4:18:38 PM ? 1成功就是日復(fù)一日那一點點小小努力的積累。 2023年 2月 下午 4時 18分 :18February 2, 2023 ? 1行動出成果，工作出財富。 16:18:3816:18:3816:18Thursday, February 2, 2023 ? 1乍見翻疑夢，相悲各問年。 SVO邏輯 ZG證明運(yùn)用規(guī)則和公理進(jìn)行推證續(xù) 修改后的協(xié)議為： 1)A?B: fNRO, B,L,C, SA(fNRO,B,L,Na,C) 2)B?A: fNRR, A,L,C, SB(fNRR,A,L,Na+1,C) 3)A?TTP: fNRS, B,L,K, NRS_K,SA(NRR) 4)B?TTP: fNRD, A,B,L,K, NRD_K 5)A?TTP: fNRD, A,B,L,K, NRD_K ? 靜夜四無鄰，荒居舊業(yè)貧。在這種情況下A將 M,C,K,L以及 NRR,NRD_K提交給仲裁，仲裁通過以下幾步可證明 B接收到了消息 M。 1)檢查 NRD_K是用 T的私鑰對消息 (fNRD,A,B,L,K)的簽名。(A,K) ? B received {X}K1? A said X) (A11: B believes PK211。 A10： TTP says X?P ftp X? P sees X TTP將其認(rèn)為是有效的數(shù)據(jù)放入到其公共目錄下，并可為任何主體通過 ftp操作訪問。 SVO邏輯 不可否認(rèn)協(xié)議 ZG證明 (1)給出協(xié)議的前提或假設(shè) (2)說明協(xié)議目標(biāo) (3)運(yùn)用規(guī)則和公理進(jìn)行推證 SVO邏輯 ZG證明假設(shè) (1)給出協(xié)議的前提或假設(shè) A0: 協(xié)議的運(yùn)行環(huán)境是不安全的 (基本假設(shè) )。 SVO邏輯 不可否認(rèn)協(xié)議實例續(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: fN
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1