密码协议的逻辑分析与设计

发布时间：2024-03-08 20:06

　　在安全的分布式系统中，用户需要向通信的对方证实自己的身份，同时也 需要建立秘密的会话秘钥，认证协议是使用户达到认证及交换会话秘钥的密码 方案。但是认证协议的设计是容易出现错误而又难以发现的。因此，研究如何 发现认证协议的漏洞及如何设计安全的认证协议是密码学中非常重要的研究领 域。到目前为止，已有许多方法用于验证认证协议的安全性，其中，最著名的 形式方法是由Burows, Abadi, Needham提出的BAN-逻辑。但这种逻辑具有许 多局限性，其主要原因是没有精确的语义定义和形式的协议理想化方法。本文 主要从下列几个方面研究BAN逻辑方法及若干协议的设计： ●研究了BAN-逻辑中存在的问题，完善了逻辑分析过程中协议的理想化方法。 ●对消息重放攻击给出了详细的分类，并提出了防止重放攻击的方法：协议运 行时，主体通过对敏感信息的判断，能够判断在协议的并行运行中，是否存在 并行攻击。 ●指出了TMN-协议中存在的漏洞与两种可能的攻击，并对TMN-协议作了进一 步的改进。 ●提出了BAN-逻辑新的语义定义及新的逻辑推理规则，这种语义定义及逻辑 推理保留了BAN-逻辑中的大部分思想。区别是推理...

【文章页数】：81 页

【学位级别】：博士

【文章目录】：
致谢
中文摘要
英文摘要
第一章 绪论
    1.1 回顾
    1.2 研究工作概要与论文章节安排
第二章 形式逻辑原理
    2.1 认证协议的目标
    2.2 基本术语与推理规则
    2.3 BAN-逻辑证明框架
    2.4 小结
第三章 BAN逻辑理想化
    3.1 引言
    3.2 对一个BAN逻辑证明实例的讨论
    3.3 关于理想化规则的补充
    3.4 实例分析
    3.5 小结
第四章 重放攻击的讨论
    4.1 消息重放的分类
    4.2 并行攻击的讨论
    4.3 TMN-协议的重放攻击
    4.4 小结
第五章 BAN-逻辑的改进
    5.1 引言
    5.2 BAN-逻辑中的错误
    5.3 新的推理规则
    5.4 实例分析
    5.5 小结
第六章 公平交换方案
    6.1 引言
    6.2 电子商务中的公平性
    6.3 多项交换协议
    6.4 小结
第七章 电子商务中的电子彩票
    7.1 电子彩票
    7.2 用于零钱支付的微电子彩票
    7.3 小结
结束语
参考文献
作者在攻读博士期间发表和完成的论文



本文编号：3922328