一个新的认证协议及其形式化分析

检索

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

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

一个新的认证协议及其形式化分析

文静华，张梅，李祥

A New Authentication Protocol and Its Formal Analysis

WEN Jinghua, ZHANG Mei, LI Xiang

计算机工程 . 2006, (8): 159 -161 . DOI: 10.3969/j.issn.1000-3428.2006.08.058