密碼協議分析的邏輯方法 密码协议分析的逻辑方法

<內容簡介>

《密碼協議分析的邏輯方法》對密碼協議分析的邏輯方法進行了系統詳盡和深入的介紹，全書共四部分，第一部分是理論基礎，第二部分是密碼協議分析概述，第三部分介紹密碼協議邏輯，第四部分介紹計算可靠的密碼協議邏輯。
    本書的內容包括密碼協議分析相關數理邏輯和現代密碼學理論的基礎知識、密碼協議分析的主要方法綜述、各種密碼協議邏輯、協議分析實例以及密碼協議邏輯分析方法的計算可靠性等。內容涵蓋了所有迄今為止重要的密碼協議分析邏輯系統，其中包括作者在密碼協議分析方面的工作。
    《密碼協議分析的邏輯方法》的讀者對象為信息安全專業高年級本科生及研究生，也可供從事信息安全專業的教學、科研人員和工程技術人員參考。本書由雷新鋒，薛銳著。