public-key authentication protocols
public-key authentication protocols
公钥认证协议
以上为机器翻译结果，长、整句建议使用 人工翻译 。
-
On the ground of deduction, the paper chose a more serials of public key authentication protocols to use the tool SPV for automatic verification, and got expected results.
在进行公理推导的基础上，本文还利用工具SPV对更多的公钥认证协议进行了自动化验证，与协议推导取得了一致的验证结果。
youdao
更多双语例句