基于Strand Space模型的安全协议形式化分析研究

摘要

本文深入研究了StrandSpace理论，并用该理论分析了若干协议：1.Yahalom协议。建立了Yahalom协议的StrandSpace模型，并进行了深入的讨论；2.一种传输模型的认证协议。建立了该协议的StrandSpace模型，通过分析，发现协议存在漏洞，并构造出了一种攻击方法，最后针对漏洞对协议进行了改进；3.ISI支付协议。将StrandSpace理论运用到电子商务协议公平性的分析中，得到了与其他分析方法一致的结果。本文在基础理论部分对代理多重签名进行了研究，提出了一种增强的代理多重签名方案。

目录

文摘

英文文摘

第1章绪论

第2章基础理论研究

第3章安全协议形式化分析方法

第4章Strand Space理论与模型

第5章若干密码协议的Strand Space模型及分析

结论

致谢

参考文献

攻读硕士学位期间发表的论文