王祁 郭维 赵鹏 沈国峰 王涛 王耀民 何丽 马昌社 陈克非

形式化分析 口令 射频识别（RFID） 私钥安全 认证协议 无线射频识别 加速度 身份授权 安全模型 隐私保护 认证 私钥保护 BAN逻辑 安全协议 智能传感器 隐私性 低代价 积分 密钥交换 拒绝服务攻击 RFID系统 数字图书馆协议

华南师范大学计算机学院 上海交通大学计算机科学与工程系 哈尔滨工业大学电气工程及自动化学院 黑龙江省计量科学研究院 黑龙江哈尔滨