搜索结果: 1-7 共查到“军事学 密码协议”相关记录7条 . 查询时间(0.206 秒)
电子科技大学计算机科学与工程学院密码学课件第7章 密码协议
电子科技大学计算机科学与工程学院 密码学 课件 第7章 密码协议
2018/12/24
电子科技大学计算机科学与工程学院密码学课件第7章 密码协议。
基于Spi演算的密码协议的控制流分析
Spi演算 认证 并行会话攻击
2008/5/15
基于Spi演算和控制流分析，提出了一个密码协议的新分析方法。随后利用该方法对Beller-Chang-Yacobi MSR协议进行了分析，通过证明该协议已知的漏洞，说明该方法是正确的，并通过更深入的研究和分析，证明了该协议在并行会话攻击下是不安全的，基于此对该协议进一步改进，改进后的协议是安全的。
无线移动网络密码协议的安全性
EAP-TLS密码 GNY逻辑 密码协议
2008/5/15
描述了一组无线移动网络中密码协议的过程，利用GNY逻辑对密码协议进行分析，鉴于EAP-TLS密码协议会受到中间人攻击，提出了解决方法，找出协议中存在的安全缺陷，发现了对密码协议的安全威胁，并给出攻击者可能的攻击。
一种改进的Woo-Lam密码协议模型
密码协议模型 语法 形式化语义 安全特性
2008/5/15
提出了一种改进的Woo-Lam密码协议模型，即eWoo-Lam模型。与Woo-Lam模型相比，新模型具有以下特点：增强了模型中关于密码学原语操作的描述语法，使得对密码协议主体行为的描述更加精确，提高了模型在检测协议攻击方面的能力； 引入了匹配运算机制，保障了模型安全性证明的有效性； 提出了七条形式化准则，规范了模型的抽象过程； 扩充了模型基于状态迁移的形式语义，使其更加精确合理； 重新给出了模型安...
提出了一种基于问题求解理论的密码协议模型，给出了模型的基本语法以及基于ρ演算的形式语义，明确了模型推理过程中涉及到的一些关键性的概念和命题。该模型具有以下特点：能够对密码协议进行精确的形式化描述；具有合理可靠的可证明语义；对密码协议安全性的定义精确合理；便于实现自动化推理。所有这些均确保了基于该模型的密码协议安全性分析的合理性和有效性，为正确的分析密码协议的安全性提供了可靠依据。
一种新的密码协议分析方法及其应用
密码协议 安全性 形式化分析 ATL
2008/5/15
针对传统时序逻辑把协议看成封闭系统进行分析的缺点， 提出一种新的基于策略的ATL逻辑方法分析密码协议。最后用新方法对Needham-Schroeder协议进行了严格的形式化分析，结果验证了该协议存在重放攻击。工作表明基于博弈的ATL逻辑比传统的CTL更适合于描述和分析密码协议。