徐宁 程小平 曹阳 余磊 任侠 钱海峰 黄素珊 郑燕飞 王育民 杨照芳 余松森 陈克非 朱辉 刘双根 周明天 魏仕民 李俊红 蒋睿 刘洋 郝曼 吕述望 李晖 王灿明 吕晶 潘理 周渊 蔡庆玲 刘培 詹宜巨 吕明程

无线网络 保密性 关联性 安全性保证 椭圆曲线 类型缺陷 形式化分析 活现性 改进 认证性 新鲜性 形式化方法 形式分析 安全缺陷 安全 匿名性 强类型抽象 串空间模型 安全性 智能卡 认证测试 BAN逻辑 密码协议 双线性配对 安全协议 移动Agent 认证测试方法 WLAN安全 信任机制 口令