关键词: 可信计算，远程证明，信息流，属性，行为

Abstract: Remote attestation is one of the highlighted topics of trust computing. This paper analyses and compares three representative types of remote attestation methods proposed. They are; information flow-based method, property-based method and behavior-based method. Principles of the representative techniques are summed up and their limitations are analyzed. Future works in this direction are also presented.

Key words: I}rust computing, Rcmotc attestation, Information flow, Property, l3chavior