相關商品
商品簡介
名人/編輯推薦
書摘/試閱
商品簡介
《密碼協議分析的邏輯方法》對密碼協議分析的邏輯方法進行系統介紹。主要內容包括密碼協議的概念以及密碼協議分析的主要方法綜述，密碼協議邏輯分析方法的理論基礎，各種密碼協議邏輯。這些邏輯涵蓋了當前比較重要的密碼協議分析邏輯，介紹了基於邏輯的計算可靠性的分析方法．重點介紹了作者在密碼協議分析的邏輯方面進行的工作。
名人/編輯推薦
《密碼協議分析的邏輯方法》的讀者對象為信息安全專業高年級本科生及研究生，也可供從事信息安全專業的教學、科研人員和工程技術人員參考。
書摘/試閱
如果A和B共享一個密鑰，B收到一個用該密鑰加密的消息，且B自己沒有發送過該消息，那么他就相信A發送了該消息，但卻不能向第三方證明這一點。當然，如果所有的事務都是通過可信第三方完成的，那么在使用對稱密鑰時，可追責性將不是一個大問題。因為這時可以將需要保證可追責性的消息用主體和可信第三方共享的密鑰來加密，而第三方是可信的，他將能忠實地反映消息的責任方。然而在現實中，不一定會存在這樣一個可信第三方，那么，依賴于可信第三方來保證可追責性就有問題了。退一步說，即使存在這樣的第三方，由于所有事務必須以第三方為中介，使其承擔了太多的責任，如果第三方被收買，那么后果將很嚴重。
相對來說，為了保證可追責性，使用非對稱加密比使用對稱加密所需的假設要少，但也不能完全防止對可追責性的破壞。例如，某主體簽名了一個消息，但卻有意泄露了自己的私鑰，這時他會以私鑰泄露為借口而不對其說過的話負責。對這種伎倆可用公證的方法來對付。也就是說，當主體在說某事時對他說過此事的事實進行公證，即使在此之后該主體的私鑰被泄露了，他仍然要承擔相應的責任。但這種辦法要求，在不知道私鑰什么時候被泄露的情況下，只能以私鑰泄露被報告給相關管理機構的時間為準，在此之前，主體還是要對所有用自己私鑰簽名的消息承擔責任。
8.1.2分析框架
Kailar邏輯可以對協議中主體的證明能力進行分析，即主體證明通信協議中消息來源的能力，協議的主體通常用大寫字母A，B，…來表示。由每個消息所構造的聲明是對該消息的解釋，聲明通常由小定字母x，y…表示，在Kailar邏輯的分析框架中，對聲明x的證明是為了讓其他主體相信該聲明而非讓主體自身相信它，根據證明者的證明能力，有兩種類型的證明。
（1）強證明。“A CanProve x”.對任意主體B，如果主體A通過執行一系列操作可以讓B相信x，但又不會向B泄露任何非x的秘密，則稱主體A能夠證明x.根據證明的程度，強證明也分兩種，
①可傳遞證明。如果A可向B證明x，則在此之后B也可以證明x，這種證明稱為可傳遞證明。
②非傳遞證明。如果A可向B證明x，則在此之后B相信x，但不能向其他主體證明x，這種證明稱為非傳遞證明，零知識簽名方案就是一種非傳遞可追責性證明的例子。
（2）弱證明。“A CanProve x to B”，弱證明的含義與強證明類似，只是此處的主體B表示一個特定主體而非任意主體，類似于強證明，弱證明也有可傳遞證明與非傳遞證明之分。顯然，如果一個主體可提供強證明，則它也一定能提供弱證明。
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。