安全协议理论与方法
Book information
Description
木书是《信息安全国家重点实验室信息安全丛书》之一.书中系统地介绍了当前计算机网络安全协议的理论和方法,主要内容包括安全协议的基木概念、缺陷以及可能受到的攻击类型,基于推理结构性方法,基于攻击结构性方法,基于证明结构性方法,安全协议分析的形式化接口,安全协议设计的形式化方法,Kerberos协议,IPSec协议,SSL协议,X.509以及SET协议.本书可作为高等院校计算机、通信、信息安全等专业的教学参考可,也可供从事相关专业的教学、科研和工程技术人员参考.
Similar books
中国建筑西南设计研究院:成都嘉煜金融科技中心方案深化设计(高新区名都路166号)
2012 · PDF
尤安设计:北京市朝阳区 望京绿地中心-A座 深化设计文本( 启阳路)【超高层办公楼】
2011 · PDF
鏖战北海:挪威战役
2023 · PDF
史记会注考证 8
2020 · PDF
怎样选择成长股
1999 · PDF
淮海集笺注 5
2020 · PDF
怎样选择成长股
2017 · PDF
淮海集笺注 4
2020 · PDF