Abstract: In order to deal with the poor security and low efficiency in remote attestation, a module-level safe and efficient property attestation protocol was proposed. In the protocol, the signcryption was used to build the module property signature, which could reduce the time of building property certificate. And the signcryption scheme based on the bilinear pairings over elliptic curves also enhanced the security of property certificate. Finally, a model instance was presented to verify the feasibility of the protocol. The experiments show that the program can quickly generate the module property signature and improves the efficiency of the remote attestation.

Key words: trusted computing, remote attestation, module, bilinear pairing, signcryption

摘要： 为了解决当前远程证明方案中安全性差、效率较低的问题，提出了一种安全高效的模块级远程证明协议。该协议在构建模块属性签名时采用了签密方案，减少了属性证书的生成时间；而且采用椭圆曲线上基于双线性对的签密方案，同时也大大提高了属性证书的安全性。通过实验验证了协议的可行性。实验结果表明，该方案可以快速生成可信平台中各模块的属性签名，提高了远程证明的效率

关键词: 可信计算, 远程证明, 模块, 双线性对, 签密