Privacy-Preserving Protocols for Vehicular Transport Systems

La present tesi es centra en la privadesa dels ciutadans com a usuaris de mitjans de transport vehiculars dins del marc d'una e-society. En concret, les contribucions de la tesi es focalitzen en les subcategories d'estacionament de vehicles privats en zones públiques regulades i en la realització de transbordaments entre línies intercomunicades en l'àmbit del transport públic. Una anàlisi acurada de les dades recopilades pels proveedors d'aquests serveis, sobre un determinat usuari, pot proporcionar informació personal sensible com per exemple: horari laboral, professió, hobbies, problemes de salut, tendències polítiques, inclinacions sexuals, etc. Tot i que existeixin lleis, com l'europea GDPR, que obliguin a utilitzar les dades recollides de forma correcta per part dels proveedors de serveis, ja sigui a causa d'un atac informàtic o per una filtració interna, aquestes dades poden ser utilitzades per finalitats il·legals. Per tant, el disseny protocols que garanteixin la privadesa dels ciutadans que formen part d'una e-society esdevé una tasca de gran importància.La presente tesis se centra en la privacidad de los ciudadanos en el transporte vehicular dentro del marco de una e-society. En concreto, las contribuciones de la tesis se centran en las subcategorías de estacionamiento de vehículos privados en zonas públicas reguladas y en la realización de transbordos entre líneas interconectadas en el ámbito del transporte público. Una análisi acurada de los datos recopilados por los proveedores de los servicios, sobre un determinado usuario, puede proporcionar información personal sensible como por ejemplo: horario laboral, profesión, hobbies, problemas de salud, tendencias políticas, inclinaciones sexuales, etc. A pesar que hay leyes, como la europea GDPR, que obligan a usar de forma correcta los datos recopilados por parte de los proveedores de servicios, ya sea por un ataque informático o por una filtración interna, estos datos pueden utilizarse para fines ilegales. Por lo tanto, es vital diseñar protocolos que garanticen la privacidad de los ciudadanos que forman parte de una e-society.This thesis is focused on the privacy of citizens while using vehicular transport systems within an e-society frame. Specifically, the thesis contributes to two subcategories. The first one refers to pay-by-phone systems for parking vehicles in regulated public areas. The second one is about the use of e-tickets in public transport systems allowing transfers between connecting lines. A careful analysis of data collected by service providers can provide sensitive personal information such as: work schedule, profession, hobbies, health problems, political tendencies, sexual inclinations, etc. Although the law, like the European GDPR, requires the correct use of the data collected by service providers, data can be used for illegal purposes after being stolen as a result of a cyber-attack or after being leaked by an internal dishonest employee. Therefore, the design of privacy-preserving solutions for mobility-based services is mandatory in the e-society

Contributions to the security and privacy of electronic ticketing systems

Un bitllet electrònic és un contracte en format digital entre dues parts, l'usuari i el proveïdor de serveis, on hi queda reflectit l'acord entre ambdós per tal que l'usuari rebi el servei que desitja per part del proveïdor. Els bitllets són emprats en diferents tipus de serveis, com esdeveniments lúdics o esportius, i especialment en l'àmbit del transport. En aquest cas permet reduir costos donat l'alt volum d'usuaris, a més de facilitar la identificació del flux de viatges. Aquesta informació permet preveure i planificar els sistemes de transport de forma més dinàmica. La seguretat dels bitllets electrònics és clau perquè es despleguin a l'entorn real, com també ho és la privadesa dels seus usuaris. La privadesa inclou tant l'anonimitat dels usuaris, és a dir, una acció no s'ha de poder atribuir fàcilment a un determinat usuari, com també la no enllaçabilitat dels diferents moviments d'un determinat usuari. En aquesta tesi proposem protocols de bitllets electrònics que mantinguin les propietats dels bitllets en paper juntament amb els avantatges dels bitllets digitals. Primerament fem un estat de l'art amb les propostes relacionades, analitzant-ne els requisits de seguretat que compleixen. Presentem un protocol de bitllets electrònics que incorpora els nous requisits de seguretat d'exculpabilitat i reutilització, diferents dels que haviem analitzat, tot complint també la privadesa pels usuaris. Posteriorment, presentem una proposta de bitllets electrònics adaptada als sistemes de pagament depenent de l'ús, bàsicament enfocat al transport, que incorpora tant l'anonimat pels usuaris, com també la enllaçabilitat a curt termini, és a dir, complint la no enllaçabilitat dels diferents moviments del mateix usuari, però permetent la enllaçabilitat de les accions relacionades amb el mateix trajecte (p.ex. entrada i sortida). Finalment, mitjançant una evolució de la mateixa tècnica criptogràfica utilitzada en el sistema de pagament per ús, millorant-ne el temps de verificació per a múltiples bitllets alhora (verificació en ``batch''), presentem una proposta que pot ser útil per a varis sistemes de verificació massiva de missatges, posant com a cas d'ús l'aplicació a sistemes de xarxes vehiculars.An electronic ticket is a digital contract between two parties, that is, the user and the service provider. An agreement between them is established in order that the user can receive the desired service. These tickets are used in different types of services, such as sports or entertainment events, especially in the field of transport. In the case of transport, costs can be reduced due to the high volume of users, and the identification of the travel flow is facilitated. This information allows the forecast and planification of transport systems more dynamically. The security of electronic tickets is very important to be deployed in the real scenarios, as well as the privacy for their users. Privacy includes both the anonymity of users, which implies that an action cannot be easily attributed to a particular user, and also the unlinkability of the different movements of that user. This thesis presents protocols which keep the same security requirements of paper tickets while offering the advantages of digital tickets. Firstly, we perform a state of the art with the related proposals, by analysing the security requirements considered. We then present an electronic ticketing system that includes the security requirements of exculpability and reusability, thus guaranteeing the privacy for users. We later present a proposal of electronic ticketing systems adapted to use-dependant payment systems, especially focused on transport, which includes both the anonymity of users and the short-term linkability of their movements. The related actions of a journey of a determined user can be linkable between them (i.e. entrance and exit of the system) but not with other movements that the user performs. Finally, as an extension of the previous use-dependant payment system solution, we introduce the case of mass-verification systems, where many messages have to be verified in short time, and we present a proposal as a vehicular network use case that guarantees privacy for users with short-term linkability and can verify these messages efficiently

Reinterpreting the Laurel Hill Cemetery Using Geographic Information Systems (GIS)

Laurel Hill Cemetery is an ideal candidate for an investigation of an innovative interpretation regime. It is a complex landscape that contains a wide variety of resources. Those resources cover a range of interests, holding an appeal for a broad potential audience. Importantly, the site is also recognized as one of great national and cultural significance. Formal recognition of Laurel Hill Cemetery\u27s cultural significance and contribution to the rural cemetery movement came when it was designated as a National Historic Landmark (NHL) in 1998. It was the first cemetery in the nation to be so designated and remains today an impressive 78-acre sculpture garden and historical resource. Like so many of America\u27s cultural resources, however, the promotion and interpretation of the Laurel Hill Cemetery is not without difficulty

Frontier In-Situ Resource Utilization for Enabling Sustained Human Presence on Mars

The currently known resources on Mars are massive, including extensive quantities of water and carbon dioxide and therefore carbon, hydrogen and oxygen for life support, fuels and plastics and much else. The regolith is replete with all manner of minerals. In Situ Resource Utilization (ISRU) applicable frontier technologies include robotics, machine intelligence, nanotechnology, synthetic biology, 3-D printing/additive manufacturing and autonomy. These technologies combined with the vast natural resources should enable serious, pre- and post-human arrival ISRU to greatly increase reliability and safety and reduce cost for human colonization of Mars. Various system-level transportation concepts employing Mars produced fuel would enable Mars resources to evolve into a primary center of trade for the inner solar system for eventually nearly everything required for space faring and colonization. Mars resources and their exploitation via extensive ISRU are the key to a viable, safe and affordable, human presence beyond Earth. The purpose of this paper is four-fold: 1) to highlight the latest discoveries of water, minerals, and other materials on Mars that reshape our thinking about the value and capabilities of Mars ISRU; 2) to summarize the previous literature on Mars ISRU processes, equipment, and approaches; 3) to point to frontier ISRU technologies and approaches that can lead to safe and affordable human missions to Mars; and 4) to suggest an implementation strategy whereby the ISRU elements are phased into the mission campaign over time to enable a sustainable and increasing human presence on Mars

Comparison Of Apple\u27s Ios 5 And Android For Mobile Applications Development: A Developer\u27s Perspective

Body composition, or the proportion of fat, muscle, and bone of an individual\u27s body, is an important indication of health status. Numerous techniques can be used to assess body composition, producing varied results and measurements. For individuals with insufficient or excessive amounts of body fat, accurate assessment of body composition is crucial. Two commonly used techniques for measuring body composition are air displacement plethysmography (adp) and dual-energy x-ray absorptiometry (dxa). Past research has been conducted, comparing adp and dxa, but the results are inconsistent. The majority of past studies found that, when compared to dxa, adp underestimated body fat percentage, but a few studies found that adp overestimated body fat percentage. Additionally, majority of the past studies have focused on ideal weight, overweight, and obese adults, with little research on body composition of athletes. Therefore, the purpose of this study was to determine whether body fat percentages obtained by adp and dxa statistically differ from one another, specifically in a lean population. Ninety-three collegiate student athletes participating in Division I NCAA sports participated in the study. Subjects underwent a bod pod and dxa scan, measuring their body composition. Body fat measures were then analyzed using spss. Paired-sample t-tests were conducted, comparing body fat percentage estimates from adp and dxa. Box plots and bland-altman plots were also created to display data. Results shothat body fat percentages obtained by adp were significantly lower than body fat percentages obtained by dxa, with the difference being greater in leaner individuals. These results are consistent with the majority of past research, which states that adp underestimates body fat percentage when compared to dxa. Clinicians should consider this discrepancy between adp and dxa for deciding which equipment to use when making clinical decions regarding student athletes\u27 health or participation status