安全協議的建模與分析:CSP方式

(453338)

安全協議的建模與分析:CSP方式
An Quan Xie Yi De Jian M0 Yu Fen Xi :CSP Fang Shi
作者: 張玉清施奈德瑞安

平均評分:

用戶評語(0) 暫時没有此貨品的用戶評語

登入後可上載此產品的圖片.

產品內容

內容:
　　本書主要介紹了安全協議的一種建模與分析方法：CSP（Communica-ting Sequential Processes，通信順序進程）方法。本書共有11章和3個附錄，主要內容包括：安全協議概述、CSP方法介紹、安全協議的CSP建模方法、協議目標描述、FDR概述、Casper介紹、為FDR進行協議和入侵者編碼、分析結果的定理證明、協議的簡化轉換、其他的安全協議分析方法以及安全協議分析所存在的問題與發展趨勢。附錄包括：口令學背景知識、具體實例及第8章的詳細證明過程。本書可作為高等院校資訊安全、電腦、通信等專業的教學參考書，也可供從事相關專業的教學、科研和工程技術人員參考。

(453338-0501)

安全協議的建模與分析:CSP方式 [Books]
(日期：2005-07-26)
售價($)： HK$92 (US$)
發行商：機械工業出版社

產品語言: 簡體中文
頁數: 235
國際書碼: 7111157214
出版年月: 2005/01/01
印刷年月: 2005/01/01
印刷版次: 1
尺寸: 大16開
字數: 381000
Nil

購買

1
總數： 1

其他你可能有興趣的產品


(742442) 中國當代獲獎兒童文學作家書係.冰心獎專輯 Zhong Guo Dang Dai Huo Jiang Er Tong Wen Xue Zuo Jia Shu Xi . Bin Xin Jiang Zhuan Ji	(468204) 應用UseCases方法實踐指南 Applying Use Cases A Practical Guide	(723583) 服務企業制勝法則 Fu Wu Qi Ye Zhi Sheng Fa Ze	(745801) 成長小說集結號 Cheng Zhang Xiao Shuo Ji Jie Hao