近年来,车联网作为智慧城市的重要组成部分已经受到了工业界和学术界的广泛关注。在车联网系统中,一个合法会话密钥的产生是至关重要的,因为它通常用来保证后续协议实体安全的数据通信。而密码学中的认证密钥协商协议可以有效解决这个问题。但是,目前大多数被提出的基于身份的两方认证的密钥协商协议要么存在巨大的计算开销的缺陷或者是不安全的。因此,本文设计了一个新型安全且高效的基于身份两方认证密钥协商协议。并且本文在eCK安全模型中系统地证明该新型协议的安全性。因为eCK安全模型比著名的CK安全模型更能很好地刻画协议敌手的能力,它被认为是目前能力最强的随机谕言机模型且被广泛地用于基于身份密钥协商协议的可证明安全中。此外,本文提出的协议不涉及到复杂的双线性对运算而是基于椭圆曲线上的基础大数操作,且只需要两轮信息交换就可以产生一个合法的会话密钥。其次,本文在Windows环境下利用Visual Studio 2017平台和Miracl密码库对新型的密钥协商协议进行了仿真模拟,实验结果表明该协议具有计算开销小且运行时间快的特性。故本文提出的协议是适用于车联网这种实时网络的。最后,本文对该新型协议在车联网中潜在应用进行了性能评估。