Descripción del proyecto
GARANTIZAR COMUNICACIONES SEGURAS ES UN RECURSO ESENCIAL PARA NUESTRA SOCIEDAD, CADA VEZ QUE EFECTUAMOS UNA COMPRA "ONLINE" CON NUESTRAS TARJETAS DE CREDITO, O REALIZAMOS UNA TRANSACCION FINANCIERA UTILIZANDO BANCA POR INTERNET, O SE TRANSMITEN DATOS CON INFORMACION MEDICA O GENETICA, NOS ENFRENTAMOS A ESTE PROBLEMA, LA SEGURIDAD DE LA CRIPTOGRAFIA CLASICA SE BASA TIPICAMENTE EN SUPOSICIONES NO PROBADAS SOBRE COMPLEJIDAD COMPUTACIONAL, ESTO ES, ESTAS SOLUCIONES SON VULNERABLES A AVANCES TANTO ALGORITMICOS COMO HARDWARE Y, POR TANTO, NO PUEDEN GARANTIZAR SEGURIDAD A LARGO PLAZO, EN ESTE CONTEXTO, LOS AVANCES RECIENTES EN COMPUTACION CUANTICA PODRIAN COMPROMETER YA SERIAMENTE LA SEGURIDAD DE LA CRIPTOGRAFIA CLASICA DE CLAVE PUBLICA---LA TECNICA CRIPTOGRAFICA MAS UTILIZADA EN LA ACTUALIDAD PARA PROTEGER NUESTRAS COMUNICACIONES, LOS SISTEMAS CUANTICOS DE DISTRIBUCION DE CLAVE (SCDC), POR OTRA PARTE, OFRECEN EL SANTO GRIAL DE LA CRIPTOGRAFIA---COMUNICACIONES PLENAMENTE SEGURAS INDEPENDIENTEMENTE DE LA CAPACIDAD COMPUTACIONAL DE UN ATACANTE---Y, POR TANTO, SON UNA SOLUCION PERFECTA PARA GARANTIZAR SEGURIDAD A LARGO PLAZO, SIN EMBARGO, ESTA ASEVERACION SOLO ES CIERTA EN TEORIA, EN LA PRACTICA, LA SEGURIDAD DE LOS PROTOTIPOS DE SCDC ESTA SERIAMENTE COMPROMETIDA PORQUE ESTOS NO SATISFACEN LOS REQUISITOS IMPUESTOS POR LA TEORIA PARA GARANTIZAR SEGURIDAD, POR EJEMPLO, LOS DISPOSITIVOS REALES SE COMPORTAN DE FORMA DISTINTA A COMO PREDICEN LOS MODELOS QUE SE EMPLEAN EN LOS ANALISIS DE SEGURIDAD, ASIMISMO, EN ESTOS ANALISIS SE SUELE CONSIDERAR QUE LOS DISPOSITIVOS ESTAN UBICADOS EN LABORATORIOS PERFECTAMENTE PROTEGIDOS Y AISLADOS DEL EXTERIOR QUE NO PERMITEN LA FILTRACION DE INFORMACION, ESTO ES, SE ASUME QUE TODOS LOS ELEMENTOS OPTICOS/ELECTRONICOS DE LOS SCDC NO CONTIENEN CANALES ENCUBIERTOS Y, JUNTO CON LAS UNIDADES DE POST-PROCESADO DE DATOS, SON HONESTOS Y SIGUEN LAS PRESCRIPCIONES DEL PROTOCOLO, DESAFORTUNADAMENTE, TODAS ESTAS SUPOSICIONES SON MUY DIFICILES (SI NO IMPOSIBLES) DE GARANTIZAR EN UN SCDC REAL, DONDE EL COMPORTAMIENTO DE SUS DIFERENTES DISPOSITIVOS SE VE AFECTADO POR LAS CONDICIONES AMBIENTALES Y POR LA POSIBLE PRESENCIA DE SEÑALES EXTERIORES, QUIZAS INTRODUCIDAS MALICIOSAMENTE POR UN ADVERSARIO, DEL MISMO MODO, EL HARDWARE DE UN SCDC REAL PODRIA ESTAR MODIFICADO, O SU SOFTWARE INFECTADO POR MALWARE, INCLUSO PODRIA ESCONDER POR EJEMPLO "PUERTAS TRASERAS" QUE LE PERMITIESEN AL ADVERSARIO ACCEDER A LA INFORMACION CRITICA DEL SISTEMA SIN SER DETECTADO, EL PRINCIPAL OBJETIVO DE ESTE PROYECTO ES PRECISAMENTE RELAJAR ESTOS REQUISITOS IRREALES Y POCO VIABLES QUE IMPONEN LOS ANALISIS DE SEGURIDAD ACTUALES, Y DESARROLLAR NUEVOS ANALISIS DE SEGURIDAD QUE PUEDAN SER APLICADOS A LAS IMPLEMENTACIONES DE SCDC ACTUALES, ESTO ES, SE QUIERE DESARROLLAR UN FORMALISMO GENERAL, QUE INCLUYA LAS IMPERFECCIONES TIPICAS DE LOS DISPOSITIVOS OPTICOS, Y NOS PERMITA EVALUAR LA SEGURIDAD DE LOS SCDC INCLUSO CUANDO ALGUNOS DE SUS DISPOSITIVOS OPTICOS/ELECTRONICOS Y/O UNIDADES DE POST-PROCESADO DE DATOS ESTAN DIRECTAMENTE BAJO EL CONTROL DEL ATACANTE O PRESENTAN UN AISLAMIENTO OPTICO FINITO Y, POR TANTO, PODRIAN FILTRAR PARTE DE SU INFORMACION INTERNA AL CANAL, ESTOS RESULTADOS SERIAN RELEVANTES NO SOLO PARA LOS SCDC CONVENCIONALES, SINO TAMBIEN PARA LOS SCDC DENOMINADOS "DEVICE-INDEPENDENT" Y "MEASUREMENT-DEVICE-INDEPENDENT", Y CONSTITUIRIAN UN PASO ESENCIAL PARA LOGRAR GARANTIZAR LA SEGURIDAD DE LAS IMPLEMENTACIONES EXPERIMENTALES DE SCDC, CRIPTOGRAFÍA CUÁNTICA\DISTRIBUCIÓN CUÁNTICA DE CLAVE\COMUNICACIONES CUÁNTICAS