finally, two strategies to be paid attention to are put forward when cryptographic protocol is designed.
最后,提出了设计密码协议时应注意的两点策略。
the only sites that are safe from snoopers are those that employ the cryptographic protocol transport layer security or its predecessor, secure sockets layer, throughout your session.
唯一不受閑人干扰的安全网站是那些在你访问网页直至离开这段时间内采用密码安全传输层协议,或采用在它之前推出的安全套接层协议的网站。
secure sockets layer (ssl) protocol is a cryptographic protocol that provides privacy and security for data communication over the network.
securesocketslayer (ssl)协议是一种加密协议,可为网络上的数据通信提供隐私和安全保障。
because of its compactness, fineness and unambiguity, formal analysis of cryptographic protocol has been an efficient and correct method step by step.
形式化分析由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和準确的途径。
the improvement we present can be applied to other quantum cryptographic protocol with noise.
这种改进方案对其它带有噪声的量子密码协议同样适用。
transport layer security (tls) is a cryptographic protocol that provides secure communication between clients and servers.
transportlayersecurity (tls)是一种密码协议,可以在客户机和服务器之间提供安全的通信。
in this thesis, a new formal model is built for cryptographic protocol analysis, and some theoretic results are reached based on the model;
本文建立了一个密码协议形式化模型;研究了密码协议的一般性理论;
the cryptographic protocol should always satisfy security properties, so the formal specification should give the corresponding proof method.
密码协议必须满足安全属性的需求,对密码协议进行形式化规范需要证明其满足该属性。