|
题名:
|
安全协议分析与设计 / 卫剑钒，陈钟编著 , |
|
ISBN:
|
978-7-115-22002-8 价格： CNY23.00 |
|
语种:
|
chi |
|
载体形态:
|
156页 26cm |
|
出版发行:
|
出版地： 北京 出版社： 人民邮电出版社 出版日期： 2010 |
|
内容提要:
|
本书共7章，包括：安全协议及攻击、逻辑类分析方法、模型检测分析方法、定理证明类分析方法等。 |
|
主题词:
|
计算机网络 安全技术 |
|
主题词:
|
计算机网络 |
|
主题词:
|
安全技术 |
|
中图分类法:
|
TP393.08 版次： 4 |
|
主要责任者:
|
卫剑钒 编著 |
|
主要责任者:
|
陈钟 编著 |
|
附注:
|
普通高等教育“十一五”国家级规划教材 21世纪高等学校计算机规划教材 |