MAKEP协议相关硕士博士期刊学术论文

模型检验是一种自动化程度很高的形式化分析技术。用有限状态机对无线认证协议Linear MAKEP建模，并对该协议的认证性用CTL公式进行......