基于BAN逻辑的ad hoc移动网络路由协议的安全性分析 - 王英龙; 王继志; 王美琴 (Tongxin xuebao)