MobileTrust: Secure Knowledge Integration in VANETs

Vehicular Ad hoc NETworks (VANET) are becoming popular due to the emergence of the Internet of Things and ambient intelligence applications. In such networks, secure resource sharing functionality is accomplished by incorporating trust schemes. Current solutions adopt peer-to-peer technologies that can cover the large operational area. However, these systems fail to capture some inherent properties of VANETs, such as fast and ephemeral interaction, making robust trust evaluation of crowdsourcing challenging. In this article, we propose MobileTrust—a hybrid trust-based system for secure resource sharing in VANETs. The proposal is a breakthrough in centralized trust computing that utilizes cloud and upcoming 5G technologies to provide robust trust establishment with global scalability. The ad hoc communication is energy-efficient and protects the system against threats that are not countered by the current settings. To evaluate its performance and effectiveness, MobileTrust is modelled in the SUMO simulator and tested on the traffic features of the small-size German city of Eichstatt. Similar schemes are implemented in the same platform to provide a fair comparison. Moreover, MobileTrust is deployed on a typical embedded system platform and applied on a real smart car installation for monitoring traffic and road-state parameters of an urban application. The proposed system is developed under the EU-founded THREAT-ARREST project, to provide security, privacy, and trust in an intelligent and energy-aware transportation scenario, bringing closer the vision of sustainable circular economy

Reputation systems and secure communication in vehicular networks

A thorough review of the state of the art will reveal that most VANET applications rely on Public Key Infrastructure (PKI), which uses user certificates managed by a Certification Authority (CA) to handle security. By doing so, they constrain the ad-hoc nature of the VANET imposing a frequent connection to the CA to retrieve the Certificate Revocation List (CRL) and requiring some degree of roadside infrastructure to achieve that connection. Other solutions propose the usage of group signatures where users organize in groups and elect a group manager. The group manager will need to ensure that group members do not misbehave, i.e., do not spread false information, and if they do punish them, evict them from the group and report them to the CA; thus suffering from the same CRL retrieval problem. In this thesis we present a fourfold contribution to improve security in VANETs. First and foremost, Chains of Trust describes a reputation system where users disseminate Points of Interest (POIs) information over the network while their privacy remains protected. It uses asymmetric cryptography and users are responsible for the generation of their own pair of public and private keys. There is no central entity which stores the information users input into the system; instead, that information is kept distributed among the vehicles that make up the network. On top of that, this system requires no roadside infrastructure. Precisely, our main objective with Chains of Trust was to show that just by relying on people¿s driving habits and the sporadic nature of their encounters with other drivers a successful reputation system could be built. The second contribution of this thesis is the application simulator poiSim. Many¿s the time a new VANET application is presented and its authors back their findings using simulation results from renowned networks simulators like ns-2. The major issue with network simulators is that they were not designed with that purpose in mind and handling simulations with hundreds of nodes requires a massive processing power. As a result, authors run small simulations (between 50 and 100 nodes) with vehicles that move randomly in a squared area instead of using real maps, which rend unrealistic results. We show that by building tailored application simulators we can obtain more realistic results. The application simulator poiSim processes a realistic mobility trace produced by a Multi-agent Microscopic Traffic Simulator developed at ETH Zurich, which accurately describes the mobility patterns of 259,977 vehicles over regional maps of Switzerland for 24 hours. This simulation runs on a desktop PC and lasts approximately 120 minutes. In our third contribution we took Chains of Trust one step further in the protection of user privacy to develop Anonymous Chains of Trust. In this system users can temporarily exchange their identity with other users they trust, thus making it impossible for an attacker to know in all certainty who input a particular piece of information into the system. To the best of our knowledge, this is the first time this technique has been used in a reputation system. Finally, in our last contribution we explore a different form of communication for VANETs. The vast majority of VANET applications rely on the IEEE 802.11p/Wireless Access in Vehicular Environments (WAVE) standard or some other form of radio communication. This poses a security risk if we consider how vulnerable radio transmission is to intentional jamming and natural interferences: an attacker could easily block all radio communication in a certain area if his transmitter is powerful enough. Visual Light Communication (VLC), on the other hand, is resilient to jamming over a wide area because it relies on visible light to transmit information and ,unlike WAVE, it has no scalability problems. In this thesis we show that VLC is a secure and valuable form of communication in VANETs

Estudo do IPFS como protocolo de distribuição de conteúdos em redes veiculares

Over the last few years, vehicular ad-hoc networks (VANETs) have been the focus of great progress due to the interest in autonomous vehicles and in distributing content not only between vehicles, but also to the Cloud. Performing a download/upload to/from a vehicle typically requires the existence of a cellular connection, but the costs associated with mobile data transfers in hundreds or thousands of vehicles quickly become prohibitive. A VANET allows the costs to be several orders of magnitude lower - while keeping the same large volumes of data - because it is strongly based in the communication between vehicles (nodes of the network) and the infrastructure. The InterPlanetary File System (IPFS) is a protocol for storing and distributing content, where information is addressed by its content, instead of its location. It was created in 2014 and it seeks to connect all computing devices with the same system of files, comparable to a BitTorrent swarm exchanging Git objects. It has been tested and deployed in wired networks, but never in an environment where nodes have intermittent connectivity, such as a VANET. This work focuses on understanding IPFS, how/if it can be applied to the vehicular network context, and comparing it with other content distribution protocols. In this dissertation, IPFS has been tested in a small and controlled network to understand its working applicability to VANETs. Issues such as neighbor discoverability times and poor hashing performance have been addressed. To compare IPFS with other protocols (such as Veniam’s proprietary solution or BitTorrent) in a relevant way and in a large scale, an emulation platform was created. The tests in this emulator were performed in different times of the day, with a variable number of files and file sizes. Emulated results show that IPFS is on par with Veniam’s custom V2V protocol built specifically for V2V, and greatly outperforms BitTorrent regarding neighbor discoverability and data transfers. An analysis of IPFS’ performance in a real scenario was also conducted, using a subset of STCP’s vehicular network in Oporto, with the support of Veniam. Results from these tests show that IPFS can be used as a content dissemination protocol, showing it is up to the challenge provided by a constantly changing network topology, and achieving throughputs up to 2.8 MB/s, values similar or in some cases even better than Veniam’s proprietary solution.Nos últimos anos, as redes veiculares (VANETs) têm sido o foco de grandes avanços devido ao interesse em veículos autónomos e em distribuir conteúdos, não só entre veículos mas também para a "nuvem" (Cloud). Tipicamente, fazer um download/upload de/para um veículo exige a utilização de uma ligação celular (SIM), mas os custos associados a fazer transferências com dados móveis em centenas ou milhares de veículos rapidamente se tornam proibitivos. Uma VANET permite que estes custos sejam consideravelmente inferiores - mantendo o mesmo volume de dados - pois é fortemente baseada na comunicação entre veículos (nós da rede) e a infraestrutura. O InterPlanetary File System (IPFS - "sistema de ficheiros interplanetário") é um protocolo de armazenamento e distribuição de conteúdos, onde a informação é endereçada pelo conteúdo, em vez da sua localização. Foi criado em 2014 e tem como objetivo ligar todos os dispositivos de computação num só sistema de ficheiros, comparável a um swarm BitTorrent a trocar objetos Git. Já foi testado e usado em redes com fios, mas nunca num ambiente onde os nós têm conetividade intermitente, tal como numa VANET. Este trabalho tem como foco perceber o IPFS, como/se pode ser aplicado ao contexto de rede veicular e compará-lo a outros protocolos de distribuição de conteúdos. Numa primeira fase o IPFS foi testado numa pequena rede controlada, de forma a perceber a sua aplicabilidade às VANETs, e resolver os seus primeiros problemas como os tempos elevados de descoberta de vizinhos e o fraco desempenho de hashing. De modo a poder comparar o IPFS com outros protocolos (tais como a solução proprietária da Veniam ou o BitTorrent) de forma relevante e em grande escala, foi criada uma plataforma de emulação. Os testes neste emulador foram efetuados usando registos de mobilidade e conetividade veicular de alturas diferentes de um dia, com um número variável de ficheiros e tamanhos de ficheiros. Os resultados destes testes mostram que o IPFS está a par do protocolo V2V da Veniam (desenvolvido especificamente para V2V e VANETs), e que o IPFS é significativamente melhor que o BitTorrent no que toca ao tempo de descoberta de vizinhos e transferência de informação. Uma análise do desempenho do IPFS em cenário real também foi efetuada, usando um pequeno conjunto de nós da rede veicular da STCP no Porto, com o apoio da Veniam. Os resultados destes testes demonstram que o IPFS pode ser usado como protocolo de disseminação de conteúdos numa VANET, mostrando-se adequado a uma topologia constantemente sob alteração, e alcançando débitos até 2.8 MB/s, valores parecidos ou nalguns casos superiores aos do protocolo proprietário da Veniam.Mestrado em Engenharia de Computadores e Telemátic

End to End Reliability without Unicast Acknowledgements over Vehicular Networks

The Future Cities Project (http://futurecities.up.pt/) has turned the city of Porto (Portugal) into an urban-scale living lab, where researchers, companies and startups can develop and test technologies, products and services. One of its largest infrastructures is the UrbanSense testbed, consisting of 25 environmental sensing units installed around the city, and another the BusNet, a vehicular ad-hoc network installed in over 400 STCP buses together with 55 Road Side Units (RSU), operated by the UP spin-off Veniam. The data gathered by UrbanSense is carried by BusNet to a storage facility. Because BusNet does not support unicast addressing, there i currently on means to provide end-to-end reliability to the communication, leading to data losses. The goal of this thesis is to explore possibilities to address this problem, designing an application level protocol that provides reliability to the data transfer without requiring unicast addressing. Instead, the protocol should leverage the knowledge about bus routes and geographic location of sensing nodes to target the delivery of the acknowledgements

Modeling Trust in Multiagent Mobile Vehicular Ad-Hoc Networks through Enhanced Knowledge Exchange for Effective Travel Decision Making

This thesis explores how to effectively model trust in the environment of mobile vehicular ad-hoc networks. We consider each vehicle’s travel path planning to be guided by an intelligent agent that receives traffic reports from other agents in the environment. Determining the trustworthiness of these reports is thus a critical task. We take as a starting point the multi-dimensional trust model of Minhas et al. That work had a two-phased approach: i) model trust and ii) execute an algorithm for using that trust modeling, when deciding what route to take. The framework presented in this thesis aims to clarify i) the messaging that should be supported, ii) the internal representation of the messaging and the trust information and iii) the algorithms for sending and receiving information (thus updating knowledge) in order to perform decision making during route planning. A significant contribution is therefore offered through clarification and extension of the original trust modeling approach. In addition we design a comprehensive, extensive simulation testbed that is used to validate the effectiveness and robustness of the model. This testbed supports a variety of metrics and is able to perform testing in environments with a large number of cars. This constitutes the second significant contribution of the thesis. Overall, we present a valuable model for knowledge management in mobile vehicular ad-hoc networks through a combination of trust modeling, ontological representation of concepts and facts, and a methodology for discovering and updating user models. Included is a representation and implementation of both a push-based and pull-based messaging protocol. We also demonstrate the effectiveness of this model through validation conducted using our simulation testbed, focusing first on a subset of the multi-faceted trust model in order to highlight the value of the underlying representation, decision making algorithm and simulation metrics. One very valuable result is a demonstration of the importance of the combined use of the different dimensions employed in the trust modeling

Modelling and Real Deployment of C-ITS by Integrating Ground Vehicles and Unmanned Aerial Vehicles

[ES] Para proporcionar un entorno de tráfico vial más seguro y eficiente, los sistemas ITS o Sistemas Inteligentes de Transporte representan como una solución dotada de avances tecnológicos de vanguardia. La integración de elementos de transporte como automóviles junto con elementos de infraestructura como RoadSide Units (RSUs) ubicados a lo largo de la vía de comunicación permiten ofrecer un entorno de red conectado con múltiples servicios, incluida conectividad a Internet. Esta integración se conoce con el término C-ITS o Sistemas Inteligentes de Transporte Cooperativos. La conexión de automóviles con dispositivos de infraestructura permite crear redes vehiculares conectadas (V2X) vehículo a dispositivos, que ofrecen la posibilidad de nuevos despliegues en aplicaciones C-ITS como las relacionadas con la seguridad. Hoy en día, con el uso masivo de teléfonos inteligentes y debido a su flexibilidad y movilidad, existen varios esfuerzos para integrarlos con los automóviles. De hecho, con el soporte adecuado de unidad a bordo (OBU), los teléfonos inteligentes se pueden integrar perfectamente con las redes vehiculares, permitiendo a los conductores usar sus teléfonos inteligentes como dispositivos de bordo a que participan en los servicios C-ITS, con el objeto de mejorar la seguridad al volante entre otros. Tópico este, que hoy día representa un tema relevante de investigación. Un problema a solucionar surge cuando las comunicaciones vehiculares sufren inferencias y bloqueos de la señal debidos al escenario. De hecho, el impacto de la vegetación y los edificios, ya sea en áreas urbanas y rurales, puede afectar a la calidad de la señal. Algunas estrategias para mejorar la comunicación vehicular en este tipo de entorno consiste en desplegar UAVs o vehículo aéreo no tripulado (drones), los cuales actúan como enlaces de comunicación entre vehículos. De hecho, UAV ofrece importantes ventajas de implementación, ya que tienen una gran flexibilidad en términos de movilidad, además de un rango de comunicaciones mejorado. Para evaluar la calidad de las comunicaciones, debe realizarse un conjunto de mediciones. Sin embargo, debido al costo de las implementaciones reales de UAV y automóviles, los experimentos reales podrían no ser factibles para actividades de investigación con recursos limitados. Por lo tanto, los experimentos de simulación se convierten en la opción preferida para evaluar las comunicaciones entre UAV y vehículos terrestres. Lograr modelos de propagación de señal correctos y representativos que puedan importarse a los entornos de simulación se vuelve crucial para obtener un mayor grado de realismo, especialmente para simulaciones que involucran el movimiento de UAVs en cualquier lugar del espacio 3D. En particular, la información de elevación del terreno debe tenerse en cuenta al intentar caracterizar los efectos de propagación de la señal. En esta tesis doctoral, proponemos nuevos enfoques tanto teóricos como empíricos para estudiar la integración de redes vehiculares que combinan automóviles y UAVs, así mismo el impacto del entorno en la calidad de las comunicaciones. Esta tesis presenta una aplicación, una metodología de medición en escenarios reales y un nuevo modelo de simulación, los cuales contribuyen a modelar, desarrollar e implementar servicios C-ITS. Más específicamente, proponemos un modelo de simulación que tiene en cuenta las características del terreno en 3D, para lograr resultados confiables de comunicación entre UAV y vehículos terrestres.[CA] Per a proporcionar un entorn de trànsit viari més segur i eficient, els sistemes ITS o Sistemes Intel·ligents de Transport representen una solució dotada d'avanços tecnològics d'avantguarda. La integració d'elements de transport com auto móvils juntament amb elements d'infraestructura com Road Side Units (RSUs) situats al llarg de lav via de comunicació permeten oferir un entorn de xarxa connectat amb multiples serveis, inclusa connectivitat a Internet. Aquesta integració es connex amb el terme C-ITS o Sistemes Intel·ligents de Transport Cooperatius , com ara els automòbils, amb elements d'infraestructura, com ara les road side units (RSU) o pals situats al llarg de la carretera, per a aconseguir un entorn de xarxa que oferisca nous serveis a més de connectivitat a Internet. Aquesta integració s'expressa amb el terme C-ITS, o sistemes intel·ligents de transport cooperatius. La connexió d'automòbils amb dispositius d'infraestructura permet crear xarxes vehiculars connectades (V2X) vehicle a dispositiu, que ofreixen la possibilitat de nous desplegaments en aplicacions C-ITS, com ara les relacionades amb la seguretat. Avui dia, amb l'ús massiu dels telèfons intel·ligents, i a causa de la flexibilitat i mobilitat que presenten, es fan esforços per integrar-los amb els automòbils. De fet, amb el suport adequat d'unitat a bord (OBU), els telèfons intel·ligents es poden integrar perfectament amb les xarxes vehiculars, permetent als conductors usar els seus telèfons intel·ligents com a dispositius per a participar en els serveis de C-ITS, a fi de millorar la seguretat al volant entre altres. Tòpic est, que hui dia representa un tema rellevant d'investigació. Un problema a solucionar sorgeix quan les comunicacions vehiculars ateixen inferències i bloquejos del senyal deguts a l'escenari. De fet, l'impacte de la vegetació i els edificis, tant en àrees urbanes com rurals, pot afectar la qualitat del senyal. Algunes estratègies de millorar la comunicació vehicular en aquest tipus d'entorn consisteix a desplegar UAVs o vehicles aeris no tripulats (drones), els quals actuen com a enllaços de comunicació entre vehicles. De fet, l'ús d'UAVs ofereix importants avantatges d'implementació, ja que tenen una gran flexibilitat en termes de mobilitat, a més d'un rang de comunicacions millorat. Per a avaluar la qualitat de les comunicacions, s'han de realitzar mesures en escenaris reals. No obstant això, a causa del cost de les implementacions i desplegaments reals d'UAV i el seu ús combinat amb vehicles, aquests experiments reals podrien no ser factibles per a activitats d'investigació amb recursos limitats. Per tant, la metodologia basada en simulació es converteixen en l'opció preferida entre els investigadors per a avaluar les comunicacions entre UAV i vehicles terrestres. Aconseguir models de propagació de senyal correctes i representatius que puguen importar-se als entorns de simulació resulta crucial per a obtenir un major grau de realisme, especialment per a simulacions que involucren el moviment d'UAV en qualsevol lloc de l'espai 3D. En particular, cal tenir en compte la informació d'elevació del terreny per a intentar caracteritzar els efectes de propagació del senyal. En aquesta tesi doctoral proposem enfocaments tant teòrics com empírics per a estudiar la integració de xarxes vehiculars que combinen automòbils i UAV, així com l'impacte de l'entorn en la qualitat de les comunicacions. Aquesta tesi presenta una aplicació, una metodología de mesurament en escenaris reals i un nou model de simulació, els quals contribueixen a modelar, desenvolupar i implementar serveis C-ITS. Més específicament, proposem un model de simulació que té en compte les característiques del terreny en 3D, per a aconseguir resultats fiables de comunicació entre UAV i vehicles terrestres.[EN] To provide a safer road traffic environment and make it more convenient, Intelligent Transport Systems (ITSs) are proposed as a solution endowed with cutting-edge technological advances. The integration of transportation elements like cars together with infrastructure elements like Road Side Units to achieve a networking environment offers new services in addition to Internet connectivity. This integration comes under the term Cooperative Intelligent Transport System (C-ITS). Connecting cars with surrounding devices forming vehicular networks in Vehicle-to-Everything (V2X) open new deployments in C-ITS applications like safety-related ones. With the massive use of smartphones nowadays, and due to their flexibility and mobility, several efforts exist to integrate them with cars. In fact, with the right support from the vehicle's On-Board Unit (OBU), smartphones can be seamlessly integrated with vehicular networks. Hence, drivers can use their smartphones as a device to participate in C-ITS services for safety purposes, among others, which is a quite interesting research topic. A significant problem arises when vehicular communications face signal obstructions caused by the environment. In fact, the impact of vegetation and buildings, whether in urban and rural areas, can result in a lower signal quality. One way to enhance vehicular communication networks is to deploy Unmanned Aerial Vehicles (UAVs) to act as relays for communication between cars, or ground vehicles. In fact, UAVs offer important deployment advantages, as they offer great flexibility in terms of mobility, in addition to an enhanced communications range. To assess the quality of the communications, a set of measurements must take place. However, due to the cost of real deployments of UAVs and cars, real experiments might not be feasible for research activities with limited resources. Hence, simulation experiments become the preferred option to assess UAV-to- car communications. Achieving correct and representative signal propagation models that can be imported to the simulation environments becomes crucial to obtain a higher degree of realism, especially for simulations involving UAVs moving anywhere throughout the 3D space. In particular, terrain elevation information must be taken into account when attempting to characterize signal propagation effects. In this research work, we propose both theoretical and empirical approaches to study the integration of vehicular networks combining cars and UAVs, and we study the impact of the surrounding environment on the communications quality. An application, a measurement framework, and a simulation model are presented in this thesis in an effort to model, develop, and deploy C-ITS services. More specifically, we propose a simulation model that takes into account 3D terrain features to achieve reliable UAV-to-car communication results.I want to thank the Spanish government through the Ministry of Economy and Competitiveness (MINECO) and the European Union Commission through the European Social Fund (ESF) for co-financing and granting me the fellowship to fund my studies in Spain and my research stay in Russia. In addition, I would to thank the National Institute of Informatics for granting me the internship fund and the Japanese government through the Japan Society for the Promotion of Science (JSPS) for supporting my research work in Japan.Hadiwardoyo, SA. (2019). Modelling and Real Deployment of C-ITS by Integrating Ground Vehicles and Unmanned Aerial Vehicles [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/118796TESI

Intermediate CONNECT Architecture

Interoperability remains a fundamental challenge when connecting heterogeneous systems which encounter and spontaneously communicate with one another in pervasive computing environments. This challenge is exasperated by the highly heterogeneous technologies employed by each of the interacting parties, i.e., in terms of hardware, operating system, middleware protocols, and application protocols. The key aim of the CONNECT project is to drop this heterogeneity barrier and achieve universal interoperability. Here we report on the activities of WP1 into developing the CONNECT architecture that will underpin this solution. In this respect, we present the following key contributions from the second year. Firstly, the intermediary CONNECT architecture that presents a more concrete view of the technologies and principles employed to enable interoperability between heterogeneous networked systems. Secondly, the design and implementation of the discovery enabler with emphasis on the approaches taken to match compatible networked systems. Thirdly, the realisation of CONNECTors that can be deployed in the environment; we provide domain specific language solutions to generate and translate between middleware protocols. Fourthly, we highlight the role of ontologies within CONNECT and demonstrate how ontologies crosscut all functionality within the CONNECT architecture

MobileTrust: Secure Knowledge Integration in VANETs

Vehicular Ad hoc NETworks (VANET) are becoming popular due to the emergence of the Internet of Things and ambient intelligence applications. In such networks, secure resource sharing functionality is accomplished by incorporating trust schemes. Current solutions adopt peer-to-peer technologies that can cover the large operational area. However, these systems fail to capture some inherent properties of VANETs, such as fast and ephemeral interaction, making robust trust evaluation of crowdsourcing challenging. In this article, we propose MobileTrust – a hybrid trust-based system for secure resource sharing in VANETs. The proposal is a breakthrough in centralized trust computing that utilizes cloud and upcoming 5G technologies in order to provide robust trust establishment with global scalability. The ad hoc communication is energy-efficient and protects the system against threats that are not countered by the current settings. To evaluate its performance and effectiveness, MobileTrust is modelled in the SUMO simulator and tested on the traffic features of the small-size German city of Eichstatt. Similar schemes are implemented in the same platform in order to provide a fair comparison. Moreover, MobileTrust is deployed on a typical embedded system platform and applied on a real smart car installation for monitoring traffic and road-state parameters of an urban application. The proposed system is developed under the EU-founded THREAT-ARREST project, to provide security, privacy, and trust in an intelligent and energy-aware transportation scenario, bringing closer the vision of sustainable circular economy