密碼協定分析的邏輯方法

內容介紹

《密碼協定分析的邏輯方法》對密碼協定分析的邏輯方法進行了系統詳盡和深入的介紹，全書共四部分，第一部分是理論基礎，第二部分是密碼協定分析概述，第三部分介紹密碼協定邏輯，第四部分介紹計算可靠的密碼協定邏輯。《密碼協定分析的邏輯方法》的內容包括密碼協定分析相關數理邏輯和現代密碼學理論的基礎知識、密碼協定分析的主要方法綜述、各種密碼協定邏輯、協定分析實例以及密碼協定邏輯分析方法的計算可靠性等，內容涵蓋了所有迄今為止重要的密碼協定分析邏輯系統，其中包括作者在密碼協定分析方面的工作。