Internet安全協(xié)議與分析

第二章安全協(xié)議2022/11/20問題思考？拒絕服務攻擊的發(fā)生機理是什么？拒絕服務攻擊拒絕服務攻擊本章擬解決的問題1，什么是安全協(xié)議？2，安全協(xié)議的常見缺陷？3，針對缺陷實施攻擊的形式？本次課程教學安排安全協(xié)議概念安全協(xié)議系統(tǒng)模型安全協(xié)議的缺陷常見的安全協(xié)議及其可能遭受的攻擊情形什么是協(xié)議？？？IPv4header協(xié)議Protocol(協(xié)議,規(guī)程,規(guī)約;[議定])Astandardprocedureforregulatingdatatransmissionbetweencomputers為管理調(diào)整計算機間數(shù)據(jù)交流的標準程序Asetofsemanticandsyntacticrulesthatdeterminesthebehavioroffunctionalunitsinachievingcommunication一組語義和語法規(guī)則,決定功能部件在通信時如何進行工作協(xié)議Aspecificationfortheformatandrelativetimingofinformationexchangedbetweencommunicatingparties通信雙方之間交換信息的格式和相對定時［同步］的一種規(guī)范Thesetofrulesgoverningtheoperationoffunctionalunitsofacommunicationsystemthatmustbefollowedifcommunicationistobeachieved管理某一通信系統(tǒng)的功能部件操作的一組規(guī)則,如果要實現(xiàn)通信,必須遵循這些規(guī)則安全協(xié)議協(xié)議：兩個或兩個以上的參與者采取一系列的步驟，以完成某項特定的任務。安全協(xié)議：基于密碼體制，在分布式系統(tǒng)，通信網(wǎng)中，目標：密鑰分配，身份認證，信息保密，電子商務。安全協(xié)議類型密鑰交換協(xié)議：完成會話密鑰建立認證協(xié)議：身份認證，消息認證，數(shù)據(jù)源\目的認證認證和密鑰交換協(xié)議：Kerberos電子商務：公平性，set協(xié)議安全協(xié)議系統(tǒng)模型合法的參與者：發(fā)起者，接收者被動攻擊者主動攻擊者環(huán)境安全協(xié)議的安全屬性認證性：如何認證？秘密性:加密完整性：hash函數(shù)，ICV不可否認性：對目標消息的簽名綁定安全協(xié)議的缺陷協(xié)議設(shè)計準則：消息前提準確，主體身份標識，簽名，隨機數(shù)，時戳缺陷分類：基本協(xié)議缺陷，陳舊消息，并行會話問題思考？拒絕服務攻擊的發(fā)生機理是什么？拒絕服務攻擊拒絕服務攻擊消息重放定義對策序列號，時戳，挑戰(zhàn)－應答常用術(shù)語A，B，P,Q,RKijKiKjRiNiTi常用術(shù)語[m1|m2]E(K:m)TEXT1,TEXT2,…ZfKab(X)安全協(xié)議及其收到的攻擊無可信第三方參與的對稱密鑰協(xié)議有可信第三方參與的對稱密鑰協(xié)議無可信第三方參與的公鑰協(xié)議有可信第三方參與的公鑰協(xié)議其它協(xié)議無可信第三方參與的對稱密鑰協(xié)議RPC協(xié)議分析協(xié)議目的：利用已有的共享密鑰建立新的會話密鑰簡化版本多重會話攻擊如何加固該安全協(xié)議？有可信第三方參與的對稱密鑰協(xié)議NeedhamSchroeder協(xié)議目的：獲得會話密鑰安全分析：攻擊及其原因N-S協(xié)議N-S協(xié)議的攻擊如何加固該安全協(xié)議？Otway-Rees協(xié)議輪識別符類型缺陷重放攻擊Otway-Rees協(xié)議重放攻擊如何加固該安全協(xié)議？其他協(xié)議大嘴青蛙協(xié)議NeedhamSchroeder簽名協(xié)議KerberosV5大嘴青蛙協(xié)議NeedhamSchroeder公鑰協(xié)議N-S協(xié)議的攻擊如何加固該安全協(xié)議？DenningSacco密鑰分配協(xié)議安全協(xié)議的形式化分析概念：正規(guī)、標準的方法對協(xié)議進行分析，以檢查協(xié)議是否滿足其安全目標。有助于：邊界界定行為描述特性定義安全性分析安全協(xié)議分析方法基于推理結(jié)構(gòu)性方法

Ban邏輯等等基于攻擊結(jié)構(gòu)性方法

CSP（通信順序進程）基于證明結(jié)構(gòu)性方法兼具二者特征新的問題Open－ended