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

高级搜索

个人中心
机构中心
退出

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

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

密码协议/ cryptographic protocol // cryptographic protocol /

以密码学为基础的信息交换协议，在网络环境中为安全需求的各方提供一系列的步骤，达到密钥分配、身份认证、秘密信道建立、安全电子交易等目的。又称安全协议。

密码协议设计/ cryptographic protocol design /cryptographic protocol design
密码协议
根据所使用的密码算法和共享秘密方式的不同所进行的设计。
协议实现安全/ protocol implementation security /protocol implementation security
密码协议
研究解决协议实现中安全问题的方法。
密码协议的安全性/ security of cryptographic protocol /security of cryptographic protocol
密码协议
密码协议运行在不可靠或者充满恶意的通信环境下，提供协议参与方所需要的安全特性和目标。
模型检测分析/ model detection analysis /model detection analysis
密码协议分析
利用模型检测技术分析密码协议安全性的方法。
密码协议形式化分析/ formal methods in analythizing cryptographic protocols /formal methods in analythizing cryptographic protocols
密码协议分析
利用形式化方法分析密码协议安全性的方法。
密码协议分析/ cryptographic protocol analysis /cryptographic protocol analysis
密码协议分析
检测密码协议是否安全的方法。其目的是为了检测协议漏洞或验证协议安全性。
定理证明分析/ theorem proving analysis /theorem proving analysis
密码协议分析
利用定理证明技术分析密码协议安全性的方法（即利用数学方法证明协议安全性）。这一方法考虑协议的所有行为，验证这些行为满足正确条件集合。
形式逻辑分析/ analyzing cryptographic protocols in mathematical logic /analyzing cryptographic protocols in mathematical logic
密码协议分析
利用数理逻辑分析密码协议安全性的方法。密码协议形式化分析方法的一类。

密码协议/ cryptographic protocol // cryptographic protocol /

密码协议设计/ cryptographic protocol design /cryptographic protocol design

协议实现安全/ protocol implementation security /protocol implementation security

密码协议的安全性/ security of cryptographic protocol /security of cryptographic protocol

模型检测分析/ model detection analysis /model detection analysis

密码协议形式化分析/ formal methods in analythizing cryptographic protocols /formal methods in analythizing cryptographic protocols

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

定理证明分析/ theorem proving analysis /theorem proving analysis

形式逻辑分析/ analyzing cryptographic protocols in mathematical logic /analyzing cryptographic protocols in mathematical logic