WAPI接入鉴别过程的形式化分析与验证

检索

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

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

WAPI接入鉴别过程的形式化分析与验证

李谢华;李建华;杨树堂;诸鸿文

Formal Analysis and Verification for Authentication Process of WAPI

LI Xiehua; LI Jianhua; YANG Shutang; ZHU Hongwen

计算机工程 . 2006, (22): 10 -13 . DOI: 10.3969/j.issn.1000-3428.2006.22.004