| 释义 |
formal verification短语¹⁴⁴⁹⁷²⁺²
基本例句
形式证明
This paper focuses on the formal verification of MANET non- secure and secure routing protocols.
在安全问题中，路由协议的正确性尤为重要。 cnki
Finally, it shows the formal verification of the improved protocol and proves its fairness and non- repudiation.
最后对改进后的协议进行形式化分析，证明改进后协议的不可否认性和公平性。 dictall
Formal verification is in effect to detect security protocols. The development of BAN- like logics promotes the research of this area.
形式化方法能有效检验安全协议的安全性， BAN类逻辑的发展极大的促进了这一领域的研究。 cnki |