Descripción del proyecto
LA SEGURIDAD DEMOSTRABLE ES UNA DE LAS AREAS MAS RELEVANTES DENTRO DE LA CRIPTOLOGIA MATEMATICA, OCUPANDOSE DEL DISEÑO Y VALIDACION DE MODELOS FORMALES DE SEGURIDAD PARA HERRAMIENTAS CRIPTOGRAFICAS, DE VITAL IMPORTANCIA PARA UNA IMPLANTACION ADECUADA DE LAS NUEVAS TECNOLOGIAS DE LA INFORMACION Y LAS COMUNICACIONES,EN ESTE PROYECTO ABORDAMOS DISTINTOS PROBLEMAS CUYA SOLUCION SE CONSTRUYE A TRAVES DE LA COMBINACION DE TECNICAS TEORICAS DE SEGURIDAD DEMOSTRABLE Y HERRAMIENTAS DEL ALGEBRA Y LA MATEMATICA DISCRETA, ESPECIFICAMENTE, ANALIZAREMOS LA SEGURIDAD DE CIERTOS ESQUEMAS CRIPTOGRAFICOS DE CLAVE PUBLICA BASADOS EN TEORIA DE GRUPOS (POR EJEMPLO, USANDO GRUPOS DE MATRICES) Y ESTUDIAREMOS LA POSIBILIDAD DE CONSTRUIR ESQUEMAS DE COMPROMISO USANDO GRUPOS DE PERMUTACIONES,TAMBIEN, TRATAREMOS PROBLEMAS RELACIONADOS CON ESQUEMAS COMBINADOS DE FIRMA Y CIFRADO BASADOS EN EMPAREJAMIENTOS ASOCIADOS A CURVAS ELIPTICAS, ASI COMO PROBLEMAS ASOCIADOS A ESQUEMAS DE INTERCAMBIO DE CLAVE CON CONTRASEÑAS Y ESQUEMAS DE DIFUSION O BROADCAST, DONDE LA ESTRUCTURA DE LOS GRAFOS DE COMUNICACION QUE CONECTAN AL CONJUNTO DE USUARIOS JUEGA UN PAPEL DETERMINANTE,