Contributions to the security and privacy of electronic ticketing systems
Arnau Vives Guasch · TDX (Tesis Doctorals en Xarxa) · 2013
Un bitllet electronic es un contracte en format digital entre dues parts, l'usuari i el proveidor de serveis, on hi queda reflectit l'acord entre ambdos per tal que l'usuari rebi el servei que desitja per part del proveidor. Els bitllets son emprats en diferents tipus de serveis, com esdeveniments ludics o esportius, i especialment en l'ambit del transport. En aquest cas permet reduir costos donat l'alt volum d'usuaris, a mes de facilitar la identificacio del flux de viatges. Aquesta informacio permet preveure i planificar els sistemes de transport de forma mes dinamica. La seguretat dels bitllets electronics es clau perque es despleguin a l'entorn real, com tambe ho es la privadesa dels seus usuaris. La privadesa inclou tant l'anonimitat dels usuaris, es a dir, una accio no s'ha de poder atribuir facilment a un determinat usuari, com tambe la no enllacabilitat dels diferents moviments d'un determinat usuari. En aquesta tesi proposem protocols de bitllets electronics 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 electronics que incorpora els nous requisits de seguretat d'exculpabilitat i reutilitzacio, diferents dels que haviem analitzat, tot complint tambe la privadesa pels usuaris. Posteriorment, presentem una proposta de bitllets electronics adaptada als sistemes de pagament depenent de l'us, basicament enfocat al transport, que incorpora tant l'anonimat pels usuaris, com tambe la enllacabilitat a curt termini, es a dir, complint la no enllacabilitat dels diferents moviments del mateix usuari, pero permetent la enllacabilitat de les accions relacionades amb el mateix trajecte (p.ex. entrada i sortida). Finalment, mitjancant una evolucio de la mateixa tecnica criptografica utilitzada en el sistema de pagament per us, millorant-ne el temps de verificacio per a multiples bitllets alhora (verificacio en ``batch''), presentem una proposta que pot ser util per a varis sistemes de verificacio massiva de missatges, posant com a cas d'us l'aplicacio a sistemes de xarxes vehiculars.