安全協(xié)議理論與方法(參考版)
2025-01-18 11:39本頁(yè)面
【正文】 下午 4時(shí) 18分 38秒 下午 4時(shí) 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時(shí) 18分 :18February 2, 2023 ? 1業(yè)余生活要有意義，不要越軌。 :18:3816:18:38February 2, 2023 ? 1意志堅(jiān)強(qiáng)的人能把世界放在手中像泥塊一樣任意揉捏。 16:18:3816:18:3816:18Thursday, February 2, 2023 ? 1知人者智，自知者明。 16:18:3816:18:3816:182/2/2023 4:18:38 PM ? 1越是沒有本領(lǐng)的就越加自命不凡。 下午 4時(shí) 18分 38秒 下午 4時(shí) 18分 16:18: ? 楊柳散和風(fēng)，青山澹吾慮。 2023年 2月 下午 4時(shí) 18分 :18February 2, 2023 ? 1少年十五二十時(shí)，步行奪得胡馬騎。 2023年 2月 2日星期四 下午 4時(shí) 18分 38秒 16:18: ? 1楚塞三湘接，荊門九派通。 16:18:3816:18:3816:18Thursday, February 2, 2023 ? 1不知香積寺，數(shù)里入云峰。 16:18:3816:18:3816:182/2/2023 4:18:38 PM ? 1成功就是日復(fù)一日那一點(diǎn)點(diǎn)小小努力的積累。 下午 4時(shí) 18分 38秒 下午 4時(shí) 18分 16:18: ? 沒有失敗，只有暫時(shí)停止成功！。 2023年 2月 下午 4時(shí) 18分 :18February 2, 2023 ? 1行動(dòng)出成果，工作出財(cái)富。 2023年 2月 2日星期四 下午 4時(shí) 18分 38秒 16:18: ? 1比不了得就不比，得不到的就不要。 16:18:3816:18:3816:18Thursday, February 2, 2023 ? 1乍見翻疑夢(mèng)，相悲各問年。 16:18:3816:18:3816:182/2/2023 4:18:38 PM ? 1以我獨(dú)沈久，愧君相見頻。 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è)貧。 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的私鑰對(duì)消息 (fNRO,A,L,Na+1,C)的簽名。在這種情況下A將 M,C,K,L以及 NRR,NRD_K提交給仲裁，仲裁通過以下幾步可證明 B接收到了消息 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。 1)檢查 NRD_K是用 T的私鑰對(duì)消息 (fNRD,A,B,L,K)的簽名。對(duì)消息 3)修改如下： SVO邏輯 ZG證明運(yùn)用規(guī)則和公理進(jìn)行推證續(xù) 3’) A?TTP: fNRS, B,L,K,NRS_K, SA(NRR) TTP收到消息 3’)后由 P5得： F8: TTP received SA(NRR) 由 F8,A3,A11,P1,得： F9: TTP believed (A said C ? B received C) 由 F8,F9,A9,A6,得： F10: TTP says K SVO邏輯 ZG證明運(yùn)用規(guī)則和公理進(jìn)行推證續(xù) 由 F10,A10，消息 4)得： F11: B received (fNRD, A,B,L,K,STTP(fNRO, A,B,L,K)) 由 F11,P5,A13,得： F12:(B received K? B received C)? B received M 由 F12,P6, A7,消息 5)得： F13: A received (fNRD,A,B,L,K, STTP(fNRO, A,B,L,K)) 由 F10,F12,F13,A5,A11,P5,P7,P10,得： SVO邏輯 ZG證明運(yùn)用規(guī)則和公理進(jìn)行推證續(xù) F14:A believes (TTP says K) ?A believes(B sees K) ? A believes (B received M)— G1 由 F7,F11,A5,得： F15:B believes(TT
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1