刘云 张路 邵维忠 陈火旺 麻志毅 毛晓光 卞立平 梅宏

气体传感器 过程管理 元模型 软件可信证据 防守联盟协议 入侵检测系统 审计记录 QoS建模

天津大学管理学院 北京大学计算机科学技术系 北京大学信息科学技术学院 北京大学信息科学与技术学院 高可信软件技术教育部重点实验室 天津大学管理学院管理信息系统专业 北京大学信息科学技术学院软件研究所 高可信软件技术教育部重点实验室（北京大学...