protocol proof and analysis
·2,447,543篇论文数据,部分数据来源于NoteExpress
-
Then the formalized security proof of the protocol using BAN authentication logic, and the qualitative analysis about its computing complexity are given.
并采用BAN认证逻辑对协议的安全性进行了形式化证明,也对协议的计算复杂性进行了定性分析。
youdao
更多双语例句