2) security protocol verification
安全协议验证
1.
In this paper, we ve discussed a series of typical symmetric Key exchange protocols, and formally verify it using a new knowledge based security protocol verification method which is called SPV logic in this paper.
安全协议验证是保证网络安全的重要技术之一，本文以导师苏开乐教授提出的一种新的基于知识理论的安全协议形式化验证逻辑(本文称其为SPV逻辑)为基础。
3) safety verifying of cipher agreement
密码协议安全验证
4) SSL/SET
安全认证协议
1.
It was analyzed and discussed two models based on SSL/SET and the methods of their implementation.
介绍基于安全认证协议SSL/SET建立的电子支付系统模型及具体实现。
2.
It was analyzed and discussed by two models based on SSL/SET and the methods of their implementation.
本文主要介绍基于安全认证协议SSL/SET建立的电子支付系统模型及具体实现。
5) security protocol proof
安全协议证明
6) XML Security Authentication Protocol
XML安全认证协议
1.
Study on XML Security Authentication Protocol and Single Sign-on System;
XML安全认证协议及单点登录系统的研究
补充资料：安全
没有危险；不受威胁；不出事故：～操作ㄧ～地带ㄧ注意交通～。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条