学科分类 - 《中国大百科全书》第三版网络版

高级搜索

专业板块专题板块大众板块

首页 . 理学 . 计算机科学技术

密码协议分析/ cryptographic protocol analysis // cryptographic protocol analysis /

检测密码协议是否安全的方法。其目的是为了检测协议漏洞或验证协议安全性。

模型检测分析/ model detection analysis /model detection analysis
密码协议分析
利用模型检测技术分析密码协议安全性的方法。
密码协议形式化分析/ formal methods in analythizing cryptographic protocols /formal methods in analythizing cryptographic protocols
密码协议分析
利用形式化方法分析密码协议安全性的方法。
定理证明分析/ theorem proving analysis /theorem proving analysis
密码协议分析
利用定理证明技术分析密码协议安全性的方法（即利用数学方法证明协议安全性）。这一方法考虑协议的所有行为，验证这些行为满足正确条件集合。
形式逻辑分析/ analyzing cryptographic protocols in mathematical logic /analyzing cryptographic protocols in mathematical logic
密码协议分析
利用数理逻辑分析密码协议安全性的方法。密码协议形式化分析方法的一类。