书目详细信息 : 可信平台模块虚拟化与证明