Property-based remote attestation in open network environment
Chen Bo · Journal of Computer Applications · 2008
To resolve many existing problems in integrity-based remote attestation of trusted platform, an abstract model of property-based remote attestation was put forward, in which the property of platforms was validated by the trusted third party. Then the model was described and validated explicitly by a logic security language. This new method enriches the security semantic of platform attestation and is more adapt to the impartial and open network environment.