给出了该协议的正确性证明和复杂性分析。
In this paper, the proof of correctness and the complexity analysis of the MRPMQ are also given.
从一个实用系统出发，采用形式化的证明方法，分析了电子资金转帐系统中安全协议的保密性和可鉴别性。
From an application system, this paper analyzes the privacy and authenticity of a security protocol in the electronic fund transfer system with a formal proof method.
事实证明，串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
In facts SSM is a practical, intuitive and strict formal method for security protocol analysis.
分析和证明了在提供面向连接服务的TCP层实现报文加密、认证和签名的可行性，提出了一种TCP保密连接协议。
Analyzes and proves the feasibility mat a connection oriented TCP protocol can carry out data encryption, authentication and signature in theory. Furthermore, a secure connection protocol is advanced.
最后对改进后的协议进行形式化分析，证明改进后协议的不可否认性和公平性。
Finally, it shows the formal verification of the improved protocol and proves its fairness and non-repudiation.
本文详细描述了系统的各个协议，并给出了相应的安全性证明和效率分析。
The details of each protocol in our new E-cash system are described thoroughly. In addition, the security proofs and efficiency analysis...
本文详细描述了系统的各个协议，并给出了相应的安全性证明和效率分析。
The details of each protocol in our new E-cash system are described thoroughly. In addition, the security proofs and efficiency analysis are given in...
针对基于SSL的安全通信模型中ssl握手协议部分在访问控制方面的缺陷，本文提出了一个基于pmi的全解决方案，并对改进设计进行了分析和BAN逻辑证明。
As for the flaws of the SSL handshake protocol part in the SSL based security communication model, the thesis proposes a PMI based solution and analyzes the design by using the BAN logic.
为了减少OSPF给网络带来的负载，该文对OSPF的报文刷新机制进行深入的分析，证明了延长OSPF报文刷新间隔不会影响协议行为和性能的结论。
Analysis of the OSPF refresh mechanism showed that extending the OSPF refresh interval does not change the OSPF behavior and weakens the OSPF performance.
实例证明了扩展后的模型和方法能够更精确地分析和描述电子商务安全协议的安全性，并能够应用于更广泛的领域。
It has been proven by instances that the extended model and method can better analyze and describe the security of e-commerce security protocol, and be applied in wider fields.
在此基础上，提出了一种基于EPR对和单光子的量子安全直接通信协议，分析结果证明该协议是安全的。
A quantum secure direct communication protocol using EPR pairs and single photon is proposed. Analysis results show that the protocol is secure.
文中对RFID协议进行分类研究，探讨了RFID协议的安全性分析和证明方法。
This paper carries out classification research on RFID protocols and discussion on the method fors...
文中对RFID协议进行分类研究，探讨了RFID协议的安全性分析和证明方法。
This paper carries out classification research on RFID protocols and discussion on the method fors...
应用推荐