![[!--oldtitle--] PDF电子书下载](/d/file/efpub/2026/09-12/vgv5lnrwe1d.jpg)
安全协议原理与验证
温馨提示：电子书为虚拟商品，一经发货概不退换，请谨慎购买。3小时内发货(节假日除外)，发货时效不超过24小时，急单慎拍！
内容简介
书名：安全协议原理与验证
作者：王聪，刘军主编
ISBN：978-7-5635-2672-7
出版社：北京邮电大学出版社
出版日期：2011.07
本书内容包括安全协议基本原理介绍、安全性分析以及密码学基础；2、安全协议原理，内容包括安全协议概述、经典的密码交换及认证协议、电子商务协议以及应用中的安全协议；3、安全协议的分析与验证方法，内容包括BAN逻辑、BAN类逻辑、Kailar逻辑、CS逻辑、串空间理论及CSP方法等。
作者：王聪，刘军主编
ISBN：978-7-5635-2672-7
出版社：北京邮电大学出版社
出版日期：2011.07
本书内容包括安全协议基本原理介绍、安全性分析以及密码学基础；2、安全协议原理，内容包括安全协议概述、经典的密码交换及认证协议、电子商务协议以及应用中的安全协议；3、安全协议的分析与验证方法，内容包括BAN逻辑、BAN类逻辑、Kailar逻辑、CS逻辑、串空间理论及CSP方法等。
上一本：
服务器端软件性能分析和诊断
下一本：
网络实训设计与实践