Seguretat de les comunicacions
Investigadors de la Universitat Politècnica de València col·laboren amb el Naval Research Laboratory de Washington en el desenvolupament de tecnologies avançades per millorar la seguretat de les comunicacions.
Un equip d'investigadors del grup Extensions de la Programació Lògica de la Universitat Politècnica de València col·labora des de fa ja set anys amb el Naval Research Laboratory de Washington i la Universitat d'Illinois a Urbana-Champaign en el desenvolupament de tecnologies que garantisquen la màxima seguretat de les comunicacions.
Com a resultat d'aquesta col·laboració, l'equip de treball ha desenvolupat recentment la versió 2.0 -l'any 2009 en va crear la primera versió- de l'eina de verificació Maude-NPA, la més innovadora que hi ha actualment per a l'anàlisi de protocols de comunicacions que utilitzen propietats criptogràfiques avançades. Aquesta eina ajuda a trobar fallades de seguretat o a verificar que un protocol està lliure d'atacs.
L'autenticitat dels participants i la confidencialitat d'alguns missatges són les propietats clau en els protocols de comunicacions. Encara que els missatges enviats per un canal insegur estiguen encriptats i les claus d'encriptació no estiguen compromeses, és a dir, no es coneguen, un protocol pot acabar alliberant algun secret o permetre a un intrús fer-se passar per un dels participants.
Mitjançant aquesta eina, es pot representar de la forma més realista possible el model d'un protocol de comunicació, la qual cosa permet avaluar-ne la seguretat i detectar-hi vulnerabilitats. Si el protocol és segur, l'eina podria certificar-ho.
L'equip d'investigadors està format per María Alpuente, directora del grup ELP de la UPV; Santiago Escobar, coordinador de l'equip de treball sobre seguretat del grup ELP; i la investigadora Sonia Santiago, la tesi doctoral de la qual, que va començar amb una estada a SRI International, a Califòrnia, l'any 2010, versa sobre la millora de les capacitats de Maude-NPA.
Les investigacions sobre Maude-NPA sorgeixen de la cooperació iniciada el 2003 amb la Universitat d'Illinois a Urbana-Champaign en l'àrea dels mètodes formals industrials, i s'han publicat en congressos i revistes internacionals: Theoretical Computer Science, Foundations of Security Analysis and Design (FOSAD 2007-2009), European Symposium on Research in Computer Security - ESORICS 2010 (15th European Symposium on Research in Computer Security), i Security and Trust Management (2011) (tots els títols publicats per Springer).
Després del desenvolupament de Maude-NPA, els investigadors de la UPV treballen en estreta col·laboració amb altres universitats americanes i europees en el maneig de protocols de comunicacions amb propietats criptogràfiques molt més avançades, en l'estudi de la composició seqüencial de protocols i en l'anàlisi de protocols de grup.
En l'actualitat, el grup ELP de la Universitat Politècnica de València col·labora també amb el National Institute of Aerospace (NIA) de la NASA ubicat a Hampton, Virgínia. En concret, ha participat en el desenvolupament d'eines de suport per a la verificació de propietats de seguretat en diversos sistemes, incloent un protocol de sincronització amb rellotges distribuïts.
Notícies destacades
Acabar amb la pobresa infantil a Espanya augmentaria el PIB un 5'7%
La pobresa infantil a Espanya, a debat en unes jornades organitzades per la Càtedra d'Infància i Adolescència de la UPV, a Torrevella
QS rànquings per matèries
La UPV, reconeguda com a millor universitat d'Espanya per a estudiar tant Enginyeria Agroalimentària i Forestal com Art i Disseny
L''Escola de Disseny' canvia de nom
L'ETSEADI (Escola Tècnica Superior d'Enginyeria Aeroespacial i Disseny Industrial) substitueix la denominació d'ETSED
La UPV, en la semifinal de Solo de Ciencia
Entre els deu semifinalistes, es troben Miguel López, investigador del CVBLab-Human Tech i Carolina Rober, doctoranda en la UPV
Primers passos del museu Ciéncia fallera de la UPV
La UPV celebra l'acte de lliurament de premis del I concurs "La Ciència a les Falles". Els ninots guanyadors, els primers d'aquest nou museu de la universitat
UPV-CLÍNIC
La UPV i INCLIVA signen un conveni per a impulsar conjuntament la innovació en l'àmbit de la salut
Tel. (+34) 96 387 70 00