冯登国 郭金庚 陆洋 章兴华 阳光奎 文应财 苏力 郭弘微

公钥体制 稳定性 共聚 逻辑推证 形式化分析 聚合氯化铝铁 距离传感器 通信网络 私钥 CMOS图像传感器 数字签名技术 签名 数码相机 无碰撞路径规划 公钥 不变式 絮凝 自动控制技术 可行方向搜索 物理化学性质 混合分析技术 转角 人工势场法 形式化语言 安全模型 参数 验证 CCD 凸多边形障碍物 安全协议

中国科学院研究生院信息安全国家重点实验室 贵州省监狱管理局 贵州省化冶研究所 哈尔滨工业大学威海分校 解放军信息工程大学安全学院计算机系 长春光学精密机械学院光电机械工程分院 福建福州 福州大学数学与计算机科学学院