无线认证协议Linear MAKEP的模型检验

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

无线认证协议Linear MAKEP的模型检验

刘霞;陈　维;彭　军

Model Checking of Wireless Authentication Protocol Linear MAKEP

LIU Xia; CHEN Wei; PENG Jun

计算机工程 . 2008, (3): 186 -188, . DOI: 10.3969/j.issn.1000-3428.2008.03.065