內容簡介
《密碼協定:基於可信任新鮮性的安全性分析(英文版)》主要介紹如何利用系統工程思想和可信任新鮮性的方法，分析和設計密碼通信協定。作者基於可信任的新鮮性標識符概念，提出了一個新穎的新鮮性原則。該原則指出了一種有效的、易用的密碼協定安全性分析方法。使用這種分析方法，可以有效檢驗協定在實際套用中能否滿足安全需要。此外，書中給出大量的分析實0例，詳細說明如何基於機率定義安全性，如何將安全指標定量化，如何針對具體的協定尋找漏洞，如何自動實現協定漏洞的查找，等等。
《密碼協定:基於可信任新鮮性的安全性分析(英文版)》總結了作者近年來的研究成果，這些成果的有效性和易用性對從事通信協定安全性研究的人員，特別是工程技術人員，具有很好的參考和實用價值。董玲網路系統建設和信息安全領域高級工程師，上海交通大學密碼與信息安全實驗室兼職教授、研究興趣是信息安全和套用密碼學，特別是實際套用的密碼通信協定和密碼系統的安全性分析。陳克非上海交通大學計算機科學與工程系教授，長期從事密碼與信息安全理論研究。主要研究興趣是序列密碼、可證明安全、密碼協定分析、數據安全。近年來承擔多項國家自然科學基金、國家高技術研究發展計畫（863計畫），發表學術論文150多篇，編輯出版學術著作7部。
