书目详细信息 : 可信计算远程证明与应用