Needham－Schroeder公钥密码协议相关硕士博士期刊学术论文 - 搜论网

Needham－Schroeder公钥密码协议相关论文

密码协议的SMV分析:实例研究

SMV是分析有限状态系统的一种工具。提出了使用SMV来分析密码协议的方法。为了说明这种方法的可村住，用SMV分析了Needham－Schroeder......

期刊

模型检测 Needham－Schroeder公钥密码协议 SMV

看过本文同时还关注