A New Efficient Property-Based Attestation Protocol Based on Elliptic Curves

"Binary remote attestation", originally designed by Trusted Computing Group(TCG), is severely criticized for its leaking of configuration and poor scalability. Property-based attestation(PBA) is a promising remote attestation method to solve the above problem, in which security property has replaced binary integrity measurement value as the measure of trustworthiness. Nevertheless, current PBA schemes have their own limitations, mainly on performance and implementation cost. The protocol computations are rather complex for participants, especially for Trusted Platform Module(TPM). Contribution in this paper is a new PBA protocol, which significantly raises PBA protocol efficiency, meanwhile requires less resource for TPM. In random oracle model, our protocol is provable secure under q-SDH assumption and discrete logarithm assumption.