基于事件逻辑的无线Mesh网络认证协议安全性证明

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

基于事件逻辑的无线Mesh网络认证协议安全性证明

李娅楠，肖美华，李伟，梅映天，钟小妹

Security proof of wireless mesh network

authentication protocol based on logic of events

LI Ya-nan,XIAO Mei-hua,LI Wei,MEI Ying-tian,ZHONG Xiao-mei

计算机工程与科学 . 2017, (12): 2236 -2244 .