Verification of Trusted Network Access Protocols in the Strand Space Model. - Yuelei Xiao 002; Yumin Wang; Liaojun Pang (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012)

A Trusted Network Access Protocol for WLAN Mesh Networks. - Yuelei Xiao 002; Yumin Wang; Liaojun Pang; Shichong Tan (IEICE Trans. Inf. Syst., 2013)