protocol verification and analysis
protocol verification and analysis
协议验证和分析
以上为机器翻译结果，长、整句建议使用 人工翻译 。
-
The verification method was presented based on the above correlation property, which had been used to verify the Woo and Lam authentication Protocol in reverse analysis.
从主体认证关联、消息间关联和消息内部关联三个角度去刻画协议，提出了基于以上关联特点的协议验证方法。
youdao
更多双语例句