关键词: 远程证明, 可信计算, 属性证明

Abstract: For the reason of sending information about the hardware and software configuration of the attestator platform，who wants to attest its integrity to the challenger，may suffer attack of the challenger，a model based on virtualization technology named as Property-based Self-Attestation（PSA） is introduced.The protocol of this model is also given.A virtual machine acts as a verifier agent is set up on the attestator platform.The verifier agent gets the integrity attributes from the binary measurements，which come from the attestator，and gives them to the challenger to decide the attestation results.PSA model can reduce the costs using to maintain an independent trust agent，and improve the security.Using attributes to prove the integrity of attestator platform can improve the security of attestator.The security protocol uses the TPM’s non-migration key characteristic to resist the anonymous attack.

Key words: remote attestation, trusted computing, property attestation