Pseudonym Changing at Social Spots: An Effective Strategy for Location Privacy in VANETs
目录
假名在社交场所的变化:VANET中位置隐私的有效策略
注:部分公式的推导可以移步原文进行查看,笔记中只给出了结果
一、摘要
作为车载自组织网络(VANET)隐私质量的主要目标,位置隐私对于VANET的全面发展至关重要。尽管频繁更改假名为VANET中的位置隐私提供了一个有前途的解决方案,但是如果在不恰当的时间或位置中更改假名,则这种解决方案可能会失效。为了解决这个问题,在本文中,我们提出了一种有效的在社交场所的假名更改(PCS)策略以实现可证明的位置隐私的策略。特别是,我们首先介绍一些社交场所,在该社交场所可能会有几辆车聚集,例如,交通信号灯变红时的路口或购物中心附近的免费停车场。通过将匿名集大小作为位置隐私度量,我们开发了两个匿名集分析模型来定量研究PCS策略实现的位置隐私。此外,我们使用博弈论技术来证明PCS策略在实践中的可行性。进行了广泛的性能评估,以证明当车辆在某些高度社交场合更改其假名时,可以实现更好的位置隐私,并且所提出的PCS策略可以帮助车辆在正确的时间和地点智能地更改其假名。
二、索引词
索引词——位置隐私,安全性,社交场所,车载自组织网络(VANETs)
1.VANETs
- Vehicular ad-hoc network,缩写为VANET
- 车载随意移动网络;车载自组织网络
- 车载自组织网络是专用移动自组织网络中研究和应用最活跃的领域之一,它是构建智能交通系统的主要载体,同时也是建设“信息地球”、“智慧城市”的重要组成部分
- 车载自组织网络(VANETs)简称车载自组网,它是一种将网络节点建立在汽车和道路基础设施上的分布式、动态变化的自组织通信网络。其基本原理是运用车载传感器和GPS卫星定位系统,借助蜂窝移动通信网络、无线广域网(WLAN)等无线通信技术,将车辆状态、性能、地理位置、路况等信息集中、转发和使用,提高道路交通效率与驾驶安全性、舒适性
三、目录
四、各部分简述
I.引言
以下皆在VANETs中
车载单元(OBU)→ 车对车(V2V)通信,车对路(V2R)通信
↓
安全性与非安全性的各种应用设备(例:传感器和GPS检测道路坑洼→通知修复、分发警报)
↓
改善道路安全性与驾驶体验
隐私的质量(QoP)之一:位置隐私
保证位置隐私 → VANETs被公众广泛接受的必要条件
↓
车辆在广播安全消息(包括时间,位置,速度,内容)时定期更改其假名,通过与签名对应的假名进行身份验证
一车辆在道路上使用不同的假名,因此假名的不可链接性可以保证车辆的位置隐私
↓
如果车辆在不适当的情况下更改了其假名,则更改假名就无法保护位置隐私,因为敌人仍然可以通过各种线索将新的假名与旧的假名链接起来
↓
必须要通过频繁更改VANETs中的假名来实现位置隐私的准确性
敌人可以通过监视假名更改过程中的一些因素,例如时间、位置、速度来识别车辆更改假名的过程
为了高质量地保护位置隐私,车辆应该选择合适的场景,而同时要进行尽可能多的难以辨认的PC过程
提出了一种有效的在社交场所假名更改(PCS)策略
在PCS策略中,社交场所是几辆车临时聚集的地方,例如,交通信号灯变红的道路交叉口或购物中心附近的免费停车场
如果所有车辆在离开现场之前都更改了其假名,则广播的第一条安全消息将包括无法区分的信息,位置=社交场所,速度= 0,以及不可链接的假名。 然后,社交场所自然成为混合区域,并且可以实现位置隐私。
本文三部分贡献有:
1)利用社交场所的独特特征;密钥隔离的假名自授权(KPSD)模型:安全地生成几个按需的短寿命密钥,并可以减轻车辆盗窃造成的危害
2)匿名集大小(ASS) 作为隐私度量(ASS越大,实现的匿名度越高)以 衡量PCS策略中实现的隐私质量(QoP)
3)简化的博弈论技术来正式证明PCS策略的可行性 → PCS策略可以真正指导车辆智能地更改其假名,以在适当的时间和地点获得更好的位置隐私
II.问题定义
A.网络模型
V2V
- 车辆:每辆车都配备有一个OBU设备,该设备可以使该车与其他车辆通信以共享本地交通信息
- 社交场所:几辆车聚集的地方(交通灯为红色时的路口