安全協(xié)議的建模與分析：CSP方式

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