Automated verification of cryptographic protocols

Autor: Torres Moliner, David

Publikováno v: RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname

[ES] Las tarjetas de crédito, el método de pago mayormente usado alrededor del mundo, hacen uso del protocolo EMV para poder comunicar la transacción bancaria de una forma cómoda y segura. La comunicación entre la tarjeta hacia la terminal y la

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::99d9b3a95e8f7a45631fd1a422bffc82
http://hdl.handle.net/10251/187264

Despliegue de picoceldas 3G y 4G en la EETAC para mejorar la calidad de la cobertura indoor

Autor: Peña Moliner, David

Publikováno v: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instname

The project’s objective is to improve the 3G and 4G indoor coverage of EETAC (Escola de Enginyeria de Telecomunicació i Aeroespacial de Castelldefels) through the installation of microcells.This memory explains all the necessary points to implemen

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c16daba59b3d2a157c7591c543cb73ad
http://hdl.handle.net/2117/172358

Estudio y análisis de los elementos de amarre en el Port de Barcelona

Autor: Campillo Moliner, David

Publikováno v: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

El objetivo principal de este Proyecto Final de Carrera es estudiar y analizar los diversos tipos de Elementos de Amarre existentes en el Puerto de Barcelona actualmente, y elaborar una Lista de Comprobación (también llamado Checklist) para cada un

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::02f6b0574a20516897378dd91faa74a9
https://hdl.handle.net/2117/343240