赵丽萍 徐文君 李向东 吴远成 王亚弟 是锦春 王清贤 刘一静 张卓莹 王娜 秦拯 陈莉 李方敏 宋勇 谢鸿波 刘新华

形式化验证 子协议 协议说明 无线传感器网络 认证属性 PSTN CRC 形式化技术 功率控制 通信接口 安全通信协议 异种机互连 串空间 迹模型 计算机通信 自组织网络 公平交换 串口通信 离线可信第三方 安全协议 协议验证 实用化 通道模型 PetriNet 远程数据采集