Security and Privacy Issues in VANETs
VANETs provide great opportunity for information exchange and equal opportunity for abuse. Although significant work has been done on designing protocols for vehicular networks, securing these networks remains a challenge. Contrasting goals, such as anonymity and authentication, need to be taken into account.
Probabilistic Validation of Data Aggregation: We propose a solution for validating aggregated data from spoofing and bogus information attacks. The main idea is to use random checks to probabilistically catch the attacker, and thereby discourage attacks in the network.
Probabilistic Validation of Aggregated Data in Vehicular Ad-Hoc Networks.
In the Proceedings of the 3rd ACM International Workshop on Vehicular Ad-Hoc Networks (VANET), September 2006.
Trusted Application-Centric Ad-Hoc Networks: Nodes in VANETs lack the protection offered by firewalls in infrastructure-based networks. We propose a distributed mechanism that allows trusted nodes to create protected networks, to run specific applications and enforce a common network access control policy specific to those applications.
Trusted Application-Centric Ad-Hoc Networks.
Proceedings of the 4th IEEE International Conference on Mobile Ad-Hoc and Sensor Systems (MASS'07), October 2007.
Non-Inference: An Information Flow Control Model for Location-Based Services: We present a framework for preserving location privacy without affecting location accuracy, centred on an information flow control analysis, which verifies the privacy properties of custom data aggregation functions. We introduce Non-Inference, a novel information-flow control model that guarantees that the code does not leak exact location information.
Non-Inference: An Information Flow Control Model for Location-Based Services.
In the Proceedings of the 3rd Annual International Conference on Mobile and Ubiquitous Systems (MOBIQUITOUS), July 2006.