张焕国 李峻林 严飞 赵恒

一致性测试 可信计算平台 信任链 进程代数 安全进程代数 标记变迁系统 可复合的不可演绎模型

武汉大学计算机学院 武汉大学软件工程国家重点实验室 空天信息安全与可信计算教育部重点实验室