計算機網絡安全技術ch(編輯修改稿)
2025-02-05 00:02 本頁面
【文章內容簡介】 數學方法證明自己擁有該知識。假設 P是證明者， V是驗證者， P試圖向 V證明自己知道某知識。一種方法是 P說出該知識使得 V相信，這樣 V也知道了該知識，這是基于知識的證明；另一種方法是 P使用零知識證明。 ? 零知識證明可以分為兩大類：最小泄露證明（Minimum Disclosure Proof）和零知識證明（Zero Knowledge Proof）。 計 算 機 網 絡 安 全 技 術 ? 最小泄露證明需要滿足的條件 ? P幾乎不可能欺騙 V ? V幾乎不可能知道證明的知識，特別是他不可能向別人重復證明過程 ? 零知識證明除了要滿足以上兩個條件之外，還要滿足 V無法從 P那里得到任何有關證明的知識 ? FeigeFiatshamir零知識身份認證協議 計 算 機 網 絡 安 全 技 術 零知識問題 計 算 機 網 絡 安 全 技 術 FeigeFiatshamir ? 用戶 P取隨機數 r，這里 r＜ m，計算 x=r2 mod m，把 x送給 V； ? V把一位隨機數 b送給 P； ? 若 b=0，則 P將 r送給 V；若 b=l，則 P將 y=rs送給 V； ? 若 b=0，則 V驗證 x= r2 mod m，從而證實P知道 sqrt(x)；若 b=1，則 V驗證 x=y2v mod m，從而證實 P知道 s。 計 算 機 網 絡 安 全 技 術 消息認證 ? 消息加密 ? 將明文加密后以密文作為認證符； ? 消息認證碼（ MAC） ? 用一個密鑰控制的公開函數作用后，產生固定長度的數值作為認證符，也稱為密碼校驗和。 ? 散列函數 ? 定義一個函數將任意長度的消息映射為定長的散列值，以散列值作為認證符。消息認證與數字簽名通常都需要與散列函數結合起來使用。 計 算 機 網 絡 安 全 技 術 消息認證方案 ? 消息認證就是驗證消息的完整性 ? 驗證消息的發(fā)送者是真正的而不是冒充的，即數據起源認證 ? 驗證消息在傳送過程中未被篡改、重放或延遲等 ? 消息認證碼 MAC ? 發(fā)送方 A要發(fā)送消息 M時，使用一個雙方共享的密鑰 k產生一個短小的定長數據塊；將 MAC附加在消息的后面發(fā)送給接收方 B。 ? 接收方對收到的消息使用相同的密鑰 k執(zhí)行相同的計算，得到新的MAC ? 接收方將收到的 MAC與計算得到的 MAC進行比較，如果相匹配，那么可以保證報文在傳輸過程中維持了完整性 計 算 機 網 絡 安 全 技 術 散列函數 ? 散列函數的特性 ? 一致性：相同的輸入產生相同的輸出； ? 隨機性：消息摘要外觀是隨機的，以防被猜出源消息； ? 惟一性：幾乎不可能找到兩個消息產生相同的消息摘要； ? 單向性：即如果給出輸出，則很難確定出輸入消息。 ? 散列函數應滿足的基本要求 ? 輸入 x可以為任意長度，輸出數據串長度固定（最小 128位） ? 正向計算容易；反向計算困難 ? 抗沖突性（抗碰撞性），包括兩個含義：一是給出一消息 x，找出一消息 y使 H（ x） =H（ y）是計算上不可行的（弱抗沖突）；二是找出任意兩條消息 x、 y，使 H（ x） =H（ y）也是計算上不可行的（強抗沖突）。 ? 散列函數用于消息認證 ? 發(fā)送者將消息 M作為單向散列函數 H的輸入，得到消息摘要，記作h=H（ M）或 MD= H（ M）。 ? A將消息摘要 H（ M）連消息 M一齊發(fā)送給 B。 ? B將消息和消息摘要分離，并利用消息生成消息摘要。 ? 比較兩消息摘要，如果相同，則消息在傳送
試題試卷相關推薦
鄂ICP備17016276號-1