冯浩然 陈钟 李胜 唐文 赵瑞东 应站煌 司华友 王昭 倪宇林 李翔宇 张力

溢油监测 触点检测 通讯协议 无线传感器网络 数据采样 分析与设计 描述语言 信任向量 服务 可编程控制器 语言变量 上位机 攻击分类 信任推理 智能装置 时序还原 模糊逻辑 系统设计 攻击工具 分类原则 主观信任 信任管理

高可信软件技术教育部重点实验室 清华大学自动化系 北京大学软件与微电子学院 北京大学信息科学技术学院网络信息安全实验... 北京大学ACOM金融信息化研究中心 北京大学信息科学技术学院 北京大学信息科学技术学院软件研究所 北京大学计算机系