基于可信计算的车联网云用户远程证明  

Remote attestation for vehicular cloud based on trusted computing

作　　者：张文博[1,2] 包振山[1] 张建标[1,2] 詹静[1,2] 

机构地区：[1]北京工业大学计算机学院,北京100124 [2]可信计算北京市重点实验室,北京100123

出　　处：《华中科技大学学报（自然科学版）》2016年第3期12-16,共5页Journal of Huazhong University of Science and Technology(Natural Science Edition)

基　　金：高等学校博士学科点专项科研基金资助项目(20131103120001);可信计算北京市重点实验室基金资助项目(BZ0050);可信计算北京市重点实验室开放课题基金资助项目(BZ0050);国家高技术研究发展计划资助项目(2015AA016002)

摘　　要：为了防止恶意用户对车联网云平台进行欺骗,提出通过远程证明对用户属性和可信平台状态进行验证的方案.一方面,采用模糊属性签名方案可以确保终端的匿名性,避免用户身份及隐私信息泄露;另一方面,采用本方案可利用终端的可信模块及可信链传递机制,从而确保硬件、固件及软件的可信性和时效性.此外,在远程证明方案中,向车联网云平台的管理模块申请前用户先提供其行为预测方程,并且云管理模块将一段时间后的行为特征值组与预测方程进行比对,由此确定用户运行程序的动态可信性.采用该方案可有效实现对车联网云用户的远程证明.In order to prevent malicious users to deceive,the remote attestation scheme was proposed by validating user′s attributes and platform status.On one hand,the scheme can ensure anonymity of the terminal platform,which avoid the user′s identity and privacy information leakage.On the other hand,the scheme can make full use of the trusted platform control module and the trusted chain,to verify the hardware and firmware of the terminal and to verify reliability and efficiency of the software.In addition,user′s prediction equation on behavior firstly was provided,which applied to vehicular cloud（VC）management module,and then the management module would compare user′s real behavior and the prediction equation to get user′s plausibility in the dynamic environment.The scheme realizes the user′s remote attestation on VC efficiently.

关 键 词：可信计算 可信平台 远程证明 可信车联网云 车联网云计算 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]