... 自动验证工具 automated verification tool 自动化验证工具 automated verification tools 自动化浪费 automated waste ...
基于1个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
在进行公理推导的基础上，本文还利用工具SPV对更多的公钥认证协议进行了自动化验证，与协议推导取得了一致的验证结果。
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.
youdao
应用推荐
模块上移
模块下移
不移动