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

定　價：￥29.00

作　者：	（英）Peter Ryan等著；張玉清，莫燕，吳建耀等譯
出版社：	機械工業(yè)出版社
叢編項：	網絡與信息安全叢書
標　簽：	網絡安全

購買這本書可以去

ISBN：	9787111157212	出版時間：	2005-01-01	包裝：	平裝
開本：	26cm	頁數：	235	字數：

內容簡介

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

作者簡介

暫缺《安全協議的建模與分析：CSP方式》作者簡介

圖書目錄

譯者序
原書序
第0章  緒論
  0.1  安全協議
  0.2  安全特性
  0.3  密碼學
  0.4  分鑰證書與基礎設施
  0.5  加密模式
  0.6  密碼學中的哈希函數
  0.7  數字簽名
  0.8  安全協議的脆弱性
  0.9  CSP方法
  0.10  Casper:FDR的用戶好界面
  0.11  形式化分析的局限
  0.12  小結
第1章  CSP介紹
  1.1  基本模塊
  1.2  并行運算符
  1.3  隱藏與重命名
  1.4  更多的運算符
  1.5  過程行為
  1.6  離散時間
第2章  使用CSP對安全協議建模
  2.1  可信賴的過程
  2.2  協議模型的數據類型
  2.3  入侵者建模
  2.4  并歸網絡
第3章  表達協議目的
  3.1  Yahalom協議
  3.2  保密性
  3.3  認證
  3.4  不可否認
  3.5  匿名
  3.6  小結
第4章  FDR概述
  4.1  比例過程
  4.2  標淮轉換系統
  4.3  開發(fā)成分結構
  4.4  反例
第5章  Casper
  5.1  一個輸入什么文件的例子
  5.2  符號%
  5.3  實例研究:大嘴青蛙協議
  5.4  協議技術說明
  5.5  哈希函數與Vernam加密
  5.6  小結
……
第6章  為FDR編碼協議和入侵者
第7章  定理證明
第8章  簡化轉換
第9章  其他方法
第10章  發(fā)展趨勢及更多的問題
附錄A  密碼學背景知識
附錄B  Yahalom協議的Casper表示
附錄C  CyberCash階函數分析
參考文獻
符號列表
專業(yè)詞匯英語中對照表