北京市重点实验室开放基金(BZ0050) 作品数:3 被引量:10 H指数:2 相关作者: 张文博 包振山 李健 詹静 张建标 更多>> 相关机构: 北京工业大学 更多>> 发文基金: 北京市重点实验室开放基金 国家教育部博士点基金 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 更多>>
基于可信计算的车联网云安全通信模型 被引量:5 2014年 基于可信计算思想提出了一个车联网云平台用户间的安全通信模型.该模型借助可信第三方,在申请通信服务过程中为车联网云用户生成临时身份,即对车联网云用户身份进行匿名化处理,以实现对用户身份隐私的保护.在通信过程中,该模型采用双线性对签名的算法分别对用户的身份合法性和平台可信性进行认证,并有效地使用了随机数、密钥和时间戳,以密钥和散列函数确保了签名的不可伪造性,以时间戳确保了密钥的时效性,以随机数机制防止了重放攻击.分析结果表明:在车联网云平台中采用该通信模型可以使通信过程具备可信性、安全性和匿名性. 张文博 包振山 李健 詹静关键词:云计算 车辆通信 基于可信计算的车联网云安全模型 被引量:6 2013年 基于可信计算的思想,提出基于可信计算的车联网云计算安全模型的架构;针对车载通信设备提出了身份认证和信任度评估的框架,并在该框架基础上给出了密钥管理结构和移动节点认证过程;在车联网云平台的各个虚拟机上构建起基于TPCM(trusted platform control module)的信任链,以此为基础为车联网云提供一个安全的运行环境. 张文博 包振山 李健关键词:可信计算 基于可信计算的车联网云用户远程证明 被引量:1 2016年 为了防止恶意用户对车联网云平台进行欺骗,提出通过远程证明对用户属性和可信平台状态进行验证的方案.一方面,采用模糊属性签名方案可以确保终端的匿名性,避免用户身份及隐私信息泄露;另一方面,采用本方案可利用终端的可信模块及可信链传递机制,从而确保硬件、固件及软件的可信性和时效性.此外,在远程证明方案中,向车联网云平台的管理模块申请前用户先提供其行为预测方程,并且云管理模块将一段时间后的行为特征值组与预测方程进行比对,由此确定用户运行程序的动态可信性.采用该方案可有效实现对车联网云用户的远程证明. 张文博 包振山 张建标 詹静关键词:可信计算 远程证明