An Efficient Property-Based Attestation Scheme with Flexible Revocation Mechanisms

In order to solve the problem of platform configuration information leakage that caused by the traditional platform authentication in the distributed trusted computing environment, this paper proposes a novel property-based attestation scheme. This scheme has flexible checking mechanisms of property certificate status, efficient computation and is provable security in the random oracle model. This paper designs the framework of the scheme, defines the security model of the scheme, gives concrete construction of the scheme, and proves the security of this scheme in the random oracle model and that this scheme satisfies the correctness, attestation unforgeability, configuration privacy and non-frame ability. Finally, proposed scheme is compared with the existing PBA schemes on the computation cost and communication cost respectively. The results show that our scheme is more practical and efficient.