服务器辅助验证协议相关硕士博士期刊学术论文 - 信丰网

服务器辅助验证协议相关论文

无线移动终端的SAV协议的形式化建模与模型检测

公钥数字签名方案中验证方是低运算能力的移动智能设备时,验证方在验证过程中需要借助于服务器来辅助验证。SAV(server-aided veri......

期刊

服务器辅助验证协议模型检测 NuSMV工具有限状态机计算树逻辑 SAV protocol model checking NuSMV tools FS

看过本文同时还关注