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

购物车申请加入邮件组 English

高级检索图表检索

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

全书目录
本章目录

内封

版权

目录

前辅文

第1章密码协议概述

第2章密码协议背景知识

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

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

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

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

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

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

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

索引
- 9.1 已有的自动化分析方法
- 9.1.1 基于逻辑的自动化分析工具
- 9.1.2 基于模型检验的自动化分析工具
- 9.1.3 基于定理证明的自动化分析工具
- 9.1.4 CAPSL 规范语言
- 9.2 基于可信任新鲜性的自动化密码协议分析
- 9.2.1 基于信任多集形式化方法的分析工具框架
- 9.2.2 BMF 分析工具的两种初步实现的比较
- 9.2.3 信任多集形式化方法的实现
- 参考文献

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

Book Metrics 引用导出

点击：次

下载：次

相关资源

相关词条