题名:	安全协议原理与验证 / 王聪，刘军主编 ,
ISBN:	978 7 5635 2672 7 价格：
出版发行:	出版地：出版社：北京邮电大学出版社出版日期： 2011.07
内容提要:	本书内容包括安全协议基本原理介绍、安全性分析以及密码学基础；2、安全协议原理，内容包括安全协议概述、经典的密码交换及认证协议、电子商务协议以及应用中的安全协议；3、安全协议的分析与验证方法，内容包括BAN逻辑、BAN类逻辑、Kailar逻辑、CS逻辑、串空间理论及CSP方法等。
主题词:	工业技术>自动化技术、计算机技术>计算技术、计算机技术>计算机的应用>计算机网络
中图分类法:	TP393.08 版次：