百道网
 您现在的位置:图书 > 信息系统的安全/中国科学院研究生教学丛书
信息系统的安全/中国科学院研究生教学丛书


信息系统的安全/中国科学院研究生教学丛书

作  者:卿斯汉 中国大陆%冯登国 中国大陆

出 版 社:科学出版社

丛 书:中国科学院研究生教学丛书

出版时间:2003年01月

定  价:18.00

I S B N :9787030114143

所属分类: 专业科技  >  工业技术  >  电子电气    

标  签:信息系统  综合  安全与加密  计算机与互联网  

[查看微博评论]

分享到:

TOP内容简介

本书为《中国科学院研究生教学丛书》之一。本书系统地介绍了信息系统安全的基本理论和关键技术,书中结合作者近年来的科研工作,力求反映出信息系统安全领域的最新研究成果。全书共分7章,主要内容包括:信息系统安全的基本概念和基础知识;密码系统的基本模型;一些有代表性的密码算法和密钥管理技术;美国21世纪的密码算法标准——AES;一些有代表性的认证协议;主要的认证协议的形式化分析工具——BAN逻辑和SVO逻辑;安全电子商务协议的基本需求;一些典型的电子商务协议以及对它们的形式化分析;电子商务协议主要的形式化分析工具——Kailar逻辑;网络安全的基本概念;网络面临的安全威胁;网络安全的服务与机制;防火墙技术;网络攻击与防范;安全操作系统的基本概念;自主存取控制与强制存取控制;最小特权管理;标识与鉴别;审计;可信通路;隐蔽通道;操作系统的安全模型;安全操作系统的设计和开发方法;数据库安全的基本需求;数据库的完整性与可靠性;存取控制;数据库加密和密钥管理的特点;数据库的安全策略和数据库的安全模型;数据库的备份和恢复等。
本书可作为高等学校计算机、信息与通信科学、数学等专业师生的参考教材,对从事上述领域工作的广大科技人员具有重要的参考价值。

TOP目录

第1章 绪论
1.1 信息系统和信息安全
1.2 信息系统安全的概念和基本需求
1.3 威胁信息系统安全的途径
1.4 本书的组织与安排
第2章 密码技术
2.1 密码学的基本概念
2.2 密码系统的基本模型
2.3 加密技术
2.3.1 分组密码技术
2.3.2 公钥加密技术
2.3.3 其他加密技术
2.4 认证协议
2.4.1 数字签名协议
2.4.2 杂凑(Hash)函数
2.4.3 识别协议
2.5 密钥管理技术
2.5.1 密钥分配协议
2.5.2 密钥协定
2.5.3 秘密共享
2.5.4 密钥托管技术
2.6 先进加密标准AES
第3章 认证协议及其形式化分析技术
3.1 认证协议
3.1.1 Kerberos协议
3.1.2 Otway-Rees协议
3.1.3 Needham-Schroeder协议
3.1.4 Yahalom协议
3.1.5 有关认证协议的若干问题
3.2 认证协议的形式化分析技术
3.2.1 BAN逻辑
3.2.2 SVO逻辑与BAN类逻辑
第4章 电子商务协议及其形式化分析技术
4.1 电子商务协议
4.1.1 非否认协议
4.1.2 CMP1和CMP2协议
4.1.3 Zhou-Gollman协议
4.1.4 一般的电子商务协议
4.1.5 SET协议
4.1.6 IBS协议
4.1.7 ISI协议
4.2 电子商务协议的形式化分析技术
4.2.1 Kailar逻辑
4.2.2 利用Kailar逻辑分析CMP1协议
4.2.3 利用Kailar逻辑分析Zhou-Gollman协议
4.2.4 利用Kailar逻辑分析IBS协议
4.2.5 Kailar逻辑的缺陷及其改进
4.2.6 新形式化方法的分析实例
第5章 网络安全
5.1 计算机网络的组成与特点
5.1.1 网络的组成
5.1.2 网络的分类
5.1.3 网络的特点
5.1.4 TCP/IP协议
5.2 网络面临的安全威胁
5.2.1 易受攻击的目标
5.2.2 间谍攻击
5.2.3 被动攻击和主动攻击
5.2.4 网络是否安全
5.3 网络安全的服务与机制
5.3.1 加密和隐藏
5.3.2 认证
5.3.3 审计
5.3.4 完整性保护
5.3.5 权限管理和存取控制
5.3.6 业务填充
5.3.7 路由控制
5.3.8 公证机制
5.3.9 冗余和备份
5.3.10 防火墙
5.4 网络加密的基本方式
5.5 防火墙技术
5.5.1 防火墙的定义
5.5.2 防火墙技术的发展历史
5.5.3 复合型防火墙技术
5.5.4 正确认识防火墙的功效
5.6 网络攻击与防范
第6章 操作系统安全
第7章 数据库安全
主要参考文献

TOP书摘

TOP 其它信息

装  帧:平装

页  数:135

版  次:1版

开  本:16

正文语种:中文

加载页面用时:79.0578