张子庆 孟学军 郑有炓 汪红 朱顺明 李雪飞 韩平 顾书林 杨飏 陈平 孙澜 张焕国 黄君 朱智强 金刚 张军毅 余发江 何凡 肖瑾瑜 罗捷 徐士伟

可信计算 状态机理论 信息安全 中国邮递员问题 pH 可信计算平台 溶解氧 可信平台模块（TPM） 计算树逻辑 计算机 可信计算平台（TCP） 可信平台模块 梅梁湖 低压化学气相淀积 测试优化 异质外延生长 可信软件栈 安全计算机 一致性测试 相关和回归 碳化硅 系统安全 模型检测

湖北武汉 武汉大学计算机学院 武汉大学软件工程国家重点实验室 无锡环境监测中心站 武汉大学计算机学院空天信息安全与可信计算...