宋璞 陈康 李清宝 张洪波 樊敏 舒继武 刘志才 薛巍 黄荣荣 曾光裕 郑纬民

连续多版本 同步时序机 引脚属性 最短路径 状态网络 防篡改硬件 加全搜索 防损硬件 状态驱动 单向Hash函数 数据持有性检查 逆向分析 数据完整性 随机抽样 增量Hash 审计跟踪记录 机密性 密钥管理 安全审计 归档存储 信号矛盾项 加密文件系统 逻辑芯片 有穷自动机 完整性

清华大学计算机科学与技术系 清华信息科学与技术国家实验室（筹） 清华大学信息科学与技术国家实验室（筹） 北京邮电大学计算机科学与技术学院 清华大学信息科学与技术重点实验室 解放军信息工程学院计算机科学与技术系 河南郑州