车载自组织网络安全认证与隐私保护的研究-计算机科学与技术专业论文.docxVIP

万方数据 万方数据 Nanjing University of Aeronautics and Astronautics The Graduate School College of Computer Science and Technology Research on Security Authentication and Privacy Protection in VANET A Thesis in Computer Science and Technology by Zhao Na Advised by Prof. Yuan Jiabin Submitted in Partial Fulfillment of the Requirements for the Degree of Master of Engineering January, 2014 承诺书 本人声明所呈交的硕士学位论文是本人在导师指导下进 行的研究工作及取得的研究成果。除了文中特别加以标注和致 谢的地方外，论文中不包含其他人已经发表或撰写过的研究成 果，也不包含为获得南京航空航天大学或其他教育机构的学位 或证书而使用过的材料。 本人授权南京航空航天大学可以将学位论文的全部或部 分内容编入有关数据库进行检索，可以采用影印、缩印或扫描 等复制手段保存、汇编学位论文。 (保密的学位论文在解密后适用本承诺书) 作者签名： 日 期： 南京航空航天大学硕士学位论文 摘 要 车载自组织网络是解决智能交通系统中动态信息服务，实现车联网最为关键的技术 。 VANET 系统的研究在为人们提供更便捷服务的同时，也带来了更多的安全隐患。本文对 VANET 系统的安全认证与隐私保护进行研究，提出了适用于 VANET 的保护隐私的匿名认证方案和跨 信任域资源访问的匿名认证模型。 安全认证与隐私保护是 VANET 安全研究的首要问题，本文根据 VANET 中车辆节点运动明 显的群组特征，将环签名和数字签密理论引入了 VANET 安全研究领域，提出了一种适用于 VANET 保护隐私的匿名认证方案。方案利用环签密理论以更小的计算和通信代价在完成匿名认 证的同时对节点发送的消息进行加密，保障了节点的隐私。方案加入了对指定验证者验证签名 节点真实身份的功能，这对于 VANET 应用环境具有更加实际的意义。最后利用形式化的方法， 从理论上严格证明了所提出的方案满足正确性、节点身份匿名性、消息的保密性、签名的不可 伪造性、签名者身份的不可伪造性以及签名者身份的可验证性。 车载自组织网络中车辆节点的运动具有高度的动态性，这就导致了跨信任域资源访问的认 证问题。本文在分析节点跨域访问安全需求的基础上，结合椭圆曲线加密算法和椭圆曲线签名 算法，利用 CK 模型构建了车载自组织网络的跨信任域匿名认证模型。模型主要包括资源访问 实体间的安全密钥协商协议和两两实体间的双向匿名认证协议，并且最后从理论上分析并证明 了模型所设计的协议在保证车载自组织网络整体效率的前提下，满足系统的安全需求，同时通 过与其它方案对比，本文提出的模型花费更少的计算和通信代价，更加具有实用性。 关键词： 智能交通系统，车载自组织网络，安全认证，隐私保护，环签名，跨域认证 i 车载自组织网络安全认证与隐私保护 ABSTRACT Vehicle Ad hoc NETwork is the most critical technology to solve dynamic information services in the Intelligent Transportation System and to achieve Internet of Vehicles. The research in VANET system provides more convinient services, but at the same time, it also brings more security risks. This paper studies the security authentication and privacy protection in VANET, and put forward an applicable to the privacy protection of VANET anonymous authentication scheme and an anonymous authentication model of access to trust cross-domains. Security authentication and privacy protection are the primary issuse