首页  软件  游戏  图书  电影  电视剧

请输入您要查询的图书:

 

图书 密码协议(基于可信任新鲜性的安全性分析)(精)/信息安全系列丛书
内容
编辑推荐

董玲编著的《密码协议(基于可信任新鲜性的安全性分析)(精)》是信息安全系列丛书之一,本书主要介绍如何利用系统工程思想和可信任新鲜性的方法,分析和设计密码协议。作者基于可信任的新鲜性标识符概念,提出了一个新颖的新鲜性原则。

内容推荐

董玲编著的《密码协议(基于可信任新鲜性的安全性分析)(精)》主要介绍如何利用系统工程思想和可信任新鲜性的方法,分析和设计密码协议。作者基于可信任的新鲜性标识符概念,提出了一个新颖的新鲜性原则。该原则指出了一种有效的、易用的密码协议安全性分析方法。使用这种分析方法,可以有效检验协议在实际应用中能否满足安全需求。此外,《密码协议(基于可信任新鲜性的安全性分析)(精)》中给出大量的分析实例,详细图解了如何基于概率定义安全性,如何将安全指标定量化,如何针对具体的协议寻找漏洞,如何自动实现协议漏洞的查找,等等。

目录

第1章 密码协议概述

 1.1 信息安全与加密

 1.2 密码协议的分类

 1.2.1 身份认证协议

 1.2.2 密钥建立协议

 1.2.3 电子商务协议

 1.2.4 安全多方协议

 1.3 密码协议的安全

 1.4 本书的动机

 参考文献

第2章 密码协议背景知识

 2.1 预备知识

 2.1.1 函数

 2.1.2 术语

 2.2 密码学基础

 2.2.1 密码概念

 2.2.2 对称密钥加密

 2.2.3 公钥加密

 2.2.4 数字签名

 2.2.5 哈希函数

 2.2.6 消息认证

 2.3 密码协议

 2.3.1 安全信道

 2.3.2 主体

 2.3.3 时变参数

 2.3.4 挑战和响应

 2.3.5 密码协议的其它分类

 2.4 密码协议的安全性

 2.4.1 针对基础密码算法的攻击

 2.4.2 针对协议的攻击

 2.4.3 协议的安全性

 2.4.4 协议安全的分析方法

 2.5 通信威胁模型

 2.5.1 Dolev-Yao威胁模型

 2.5.2 协议环境的假设

 2.5.3 密码协议表达方式

 参考文献

第3章 密码协议安全设计的工程原则

 3.1 工程原则介绍

 3.1.1 谨慎工程原则

 3.1.2 密码协议工程原则

 3.2 协议工程需求分析原则

 3.2.1 安全需求分析原则

 3.2.2 明文需求分析原则

 3.2.3 应用环境分析原则

 3.2.4 攻击者模型及攻击者能力分析原则

 3.2.5 密码服务需求分析原则

 3.3 密码协议工程的详细协议设计原则

 3.3.1 主体通信的真实性原则

 3.3.2 新鲜性标识符的新鲜性和生成者认证原则

 3.3.3 消息的数据完整性保护原则

 3.3.4 逐步细化的设计原则

 3.4 密码协议工程的安全性证明原则

 参考文献

第4章 密码协议的非形式化分析方法

 4.1 密码协议安全性

 4.1.1 在计算模型下的认证性和保密性

 4.1.2 安全性定义

 4.2 基于可信任新鲜性的安全机制

 4.2.1 概念

 4.2.2 新鲜性原则

 4.2.3 认证协议的安全性

 4.2.4 基于可信任新鲜性的分析方法

 4.2.5 基于可信任新鲜性的安全性分析应用

第7章 协议安全的形式化分析

第8章 基于可信任新鲜性的密码协议设计

第9章 基于可信任新鲜性的密码协议自动化分析

索引

标签
缩略图
书名 密码协议(基于可信任新鲜性的安全性分析)(精)/信息安全系列丛书
副书名
原作名
作者 董玲//陈克非
译者
编者
绘者
出版社 高等教育出版社
商品编码(ISBN) 9787040362503
开本 16开
页数 355
版次 1
装订 精装
字数 430
出版时间 2012-11-01
首版时间 2012-11-01
印刷时间 2012-11-01
正文语种
读者对象 青年(14-20岁),普通成人
适用范围
发行范围 公开发行
发行模式 实体书
首发网站
连载网址
图书大类 科学技术-工业科技-电子通讯
图书小类
重量 0.708
CIP核字
中图分类号 TN918.1
丛书名
印张 22.5
印次 1
出版地 北京
245
175
20
整理
媒质 图书
用纸 普通纸
是否注音
影印版本 原版
出版商国别 CN
是否套装 单册
著作权合同登记号
版权提供者
定价
印数
出品方
作品荣誉
主角
配角
其他角色
一句话简介
立意
作品视角
所属系列
文章进度
内容简介
作者简介
目录
文摘
安全警示 适度休息有益身心健康,请勿长期沉迷于阅读小说。
随便看

 

兰台网图书档案馆全面收录古今中外各种图书,详细介绍图书的基本信息及目录、摘要等图书资料。

 

Copyright © 2004-2025 xlantai.com All Rights Reserved
更新时间:2025/5/20 11:17:40