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

购物车申请加入邮件组 English

高级检索图表检索

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

全书目录
本章目录

内封

版权

目录

前辅文

第1章密码协议概述

第2章密码协议背景知识

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

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

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

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

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

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

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

索引
- 7.1 BAN 逻辑
- 7.1.1 基本符号
- 7.1.2 逻辑假设
- 7.1.3 基于BAN 逻辑的安全分析步骤
- 7.1.4 BAN 类逻辑
- 7.2 模型检验
- 7.3 定理证明
- 7.4 基于可信任新鲜性的信任多集
- 7.4.1 信任逻辑语言
- 7.4.2 逻辑假设
- 7.5 信任多集方法的应用
- 7.5.1 Needham-Schroeder 公钥认证协议的分析
- 7.5.2 分布式传感器网中Kerberos 对密钥协议分析
- 7.5.3 IEEE 802.11i 中认证协议的分析
- 7.6 比较
- 参考文献

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

Book Metrics 引用导出

点击：次

下载：次

相关资源

相关词条