|
题名:
|
安全协议原理与验证 / 王聪 ... [等] 编著 , |
|
ISBN:
|
978-7-5635-2672-7 价格： CNY36.00 |
|
语种:
|
chi |
|
载体形态:
|
303页 图 23cm |
|
出版发行:
|
出版地： 北京 出版社： 北京邮电大学出版社 出版日期： 2011.08 |
|
内容提要:
|
本书介绍安全协议及其验证方法, 主要内容包括三个部分: 基础知识, 包括安全协议基本原理介绍、安全性分析以及密码学基础 ; 安全协议原理, 包括安全协议概述等 ; 安全协议的分析与验证方法, 包括BAN逻辑、BAN类逻辑等。 |
|
主题词:
|
计算机网络 安全技术 |
|
中图分类法:
|
TP393.08 版次： 4 |
|
主要责任者:
|
王聪 编著 |
|
主要责任者:
|
刘军 编著 |
|
主要责任者:
|
王孝国 编著 |
|
主要责任者:
|
于振伟 编著 |