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

购物车申请加入邮件组 English

高级检索图表检索

密码协议:基于可信任新鲜性的安全性分析作者：董玲, 陈克非　　 ISBN：978-7-04-036250-3　出版时间：2012-11-30

全书目录
本章目录

内封

版权

目录

前辅文

第1章密码协议概述

第2章密码协议背景知识

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

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

第5章实际使用的网络协议安全分析

第6章密码协议安全性的保证

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

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

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

索引
- 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 基于可信任新鲜性的安全性分析应用
- 4.3 一些经典攻击的分析
- 4.3.1 中间人攻击
- 4.3.2 源替换攻击
- 4.3.3 消息重放攻击
- 4.3.4 平行会话攻击
- 4.3.5 反射攻击
- 4.3.6 交错攻击
- 4.3.7 类型缺陷攻击
- 4.3.8 身份标识省略导致的攻击
- 4.3.9 由于密码服务误用导致的攻击
- 4.3.10 其它协议的安全分析
- 参考文献

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

Book Metrics 引用导出

点击：次

下载：次

相关资源

相关词条