802.11i双向认证协议的模型检查

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

802.11i双向认证协议的模型检查

黄谷,缪力,张大方

Formal Verification of the 802.11i Authentication Protocols by Model Checking

HUANG Gu,MIAO Li, ZHANG Da fang

J4 . 2010, (4): 25 -28 . DOI: 10.3969/j.issn.1007130X.2010.