基本信息

書名：密碼協議分析的邏輯方法

定價：98.00元

作者：雷新鋒,薛銳

齣版社：科學齣版社

齣版日期：2013-03-01

ISBN：9787030370969

字數：480000

頁碼：381

版次：1

裝幀：平裝

開本：16開

商品重量：0.4kg

編輯推薦

《密碼協議分析的邏輯方法》注重由淺入深，適閤各層次讀者參閱。全書從基礎理論和基本概念入手，涵蓋瞭主要的密碼協議分析邏輯以及該領域的一些前沿理論，其中包括作者在密碼協議分析的邏輯方麵所做的工作。這些內容對於初學者有著重要的啓發和引導作用，對於研究者具有的參考價值，對於密碼協議的分析和設計人員具有重要的指導意義。本書由雷新鋒，薛銳著。

內容提要

《密碼協議分析的邏輯方法》對密碼協議分析的邏輯方法進行瞭係統詳盡和深入的介紹，全書共四部分，部分是理論基礎，第二部分是密 碼協議分析概述，第三部分介紹密碼協議邏輯，第四部分介紹計算可靠的密碼協議邏輯。

本書的內容包括密碼協議分析相關數理邏輯和現代密碼學理論的基礎知識、密碼協議分析的主要方法綜述、各種密碼協議邏輯、協議分析實例 以及密碼協議邏輯分析方法的計算可靠性等。內容涵蓋瞭所有迄今為止重要的密碼協議分析邏輯係統，其中包括作者在密碼協議分析方麵的工作。

《密碼協議分析的邏輯方法》的讀者對象為信息安全專業高年級本科生及研究生，也可供從事信息安全專業的教學、科研人員和工程技術人員 參考。本書由雷新鋒，薛銳著。

目錄

作者介紹

文摘

序言