1、可信系统国际会议与TPM安全属性自动化分析

可信系统国际会议与TPM安全属性自动化分析

1. 可信系统国际会议概况

2012年12月在英国伦敦皇家霍洛威大学举行的InTrust 2012会议是第四届关于可信系统理论、技术和应用的国际会议。该会议聚焦于可信计算系统的各个方面，涵盖可信模块、平台、网络、服务和应用等，从基础特性、功能到设计原则、架构和实现技术。其目标是将学术和工业界的研究人员、设计师、实现者与可信系统的终端用户聚集在一起，促进该领域的思想交流。

本次会议的议程包括6篇投稿论文、4场特邀主题演讲和一场小组讨论。投稿论文从来自14个国家的19份投稿中选出，接受率为32%。所有投稿都经过盲审，评审过程严格，每份投稿通常会有至少三份独立报告。部分录用论文由程序委员会成员指导，以确保评审意见得到妥善处理。

会议还邀请了多位知名嘉宾，包括主题演讲者Paul Waller等，小组讨论由Shin’ichiro Matsuo组织，参与者有Nicolai Kuntze、Graeme Proudler等。此外，会议得到了众多人员和机构的支持，如大会主席Liqun Chen、指导委员会、Emma Mosley、EasyChair平台，以及新加坡管理大学和皇家霍洛威大学信息安全小组的赞助。

以下是会议的主要组织人员列表：
| 角色 | 人员 |
| ---- | ---- |
| 荣誉主席 | Yongfei Han、Moti Yung |
| 大会主席 | Liqun Chen、Chris Mitchell、Allan Tomlinson |
| 程序主席 | Chris Mitchell、Allan Tomlinson |

2. TPM概述与