检测模型在安全协议分析中的应用

检索

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

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

检测模型在安全协议分析中的应用

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

Application of Checking Model in Security Protocol Analysis

LI Xiehua; YANG Shutang; LI Jianhua; ZHU Hongwen

计算机工程 . 2007, (13): 1 -3，39 . DOI: 10.3969/j.issn.1000-3428.2007.13.001