思维导图备注

安全协议设计与分析 - 张文政,王立斌,李益发,郑东,董新锋
首页 收藏书籍 阅读记录
  • 书签 我的书签
  • 添加书签 添加书签 移除书签 移除书签

第3章 安全协议的串空间分析方法

浏览 1 扫码
  • 小字体
  • 中字体
  • 大字体
2024-04-30 09:12:27
请 登录 再阅读
上一篇:
下一篇:
  • 书签
  • 添加书签 移除书签
  • 封面
  • 版权信息
  • 致读者
  • 国防科技图书出版基金第七届评审委员会组成人员
  • 《网络与信息安全前沿技术丛书》编委会
  • 丛书序
  • 前言
  • 第1章 绪论
    • 1.1 安全协议的背景
    • 1.2 安全协议及分类
    • 1.3 安全协议面临的威胁
    • 1.4 安全协议设计
    • 1.5 安全协议分析方法概述
    • 参考文献
  • 第2章 安全协议的逻辑化分析方法
    • 2.1 BAN逻辑
    • 2.2 GNY逻辑
    • 2.3 SVO逻辑
    • 2.4 AT逻辑
    • 2.5 Rubin逻辑
    • 2.6 ZWW逻辑
    • 2.7 SPALL逻辑
    • 参考文献
  • 第3章 安全协议的串空间分析方法
    • 3.1 串与串空间的概念
    • 3.2 入侵串
    • 3.3 认证测试及其应用
    • 3.4 注记
    • 参考文献
  • 第4章 可证明安全性分析方法
    • 4.1 引言
    • 4.2 可证明安全性的三大基本原则
    • 4.3 密码学标准假设
    • 4.4 协议分析实例：Diffie-Hellman密钥交换协议
    • 4.5 随机预言机模型
    • 4.6 基于博弈序列的安全性证明方法
    • 4.7 泛组合方法
    • 4.8 小结
    • 参考文献
  • 第5章 基于中心服务器认证的密钥交换协议
    • 5.1 引言
    • 5.2 Canetti-Krawczyk模型
    • 5.3 扩展Canetti-Krawczyk模型
    • 5.4 MQV类协议
    • 5.5 其他的协议构造方式
    • 5.6 小结
    • 参考文献
  • 第6章 基于口令的认证密钥交换协议
    • 6.1 引言
    • 6.2 非对称口令认证密钥交换协议
    • 6.3 Bellare-Pointcheval-Rogaway模型
    • 6.4 一次加密密钥交换协议
    • 6.5 小结
    • 考文献
  • 第7章 RFID协议设计与分析
    • 7.1 引言
    • 7.2 RFlD系统与相关的安全问题
    • 7.3 RFlD认证协议的各种攻击方法
    • 7.4 轻型RFlD认证协议的设计
    • 7.5 RFlD协议的前向安全性
    • 7.6 HBN协议的设计与分析
    • 参考文献
暂无相关搜索结果！
    展开/收起文章目录

    二维码

    手机扫一扫，轻松掌上学

    《安全协议设计与分析 - 张文政,王立斌,李益发,郑东,董新锋》电子书下载

    请下载您需要的格式的电子书，随时随地，享受学习的乐趣！
    EPUB 电子书

    书签列表

      阅读记录

      阅读进度: 0.00% ( 0/0 ) 重置阅读进度