Resumen

Como protocolo de transporte seguro propuesto recientemente, QUIC pretende mejorar el rendimiento del transporte del trfico HTTPS y permitir un rpido despliegue y evolucin de los mecanismos de transporte. QUIC se encuentra actualmente en el proceso de normalizacin del IETF y potencialmente transportar una parte significativa del trfico de Internet en un futuro emergente. Un importante objetivo de seguridad del protocolo QUIC es proporcionar un servicio de datos eficaz a los usuarios. Para cumplir este requisito de seguridad, proponemos un mtodo de anlisis formal para analizar la seguridad del protocolo QUIC handshake utilizando el verificador de modelos SPIN y el verificador de protocolos criptogrficos ProVerif. Nuestro anlisis muestra los contraejemplos a las propiedades de seguridad, que revelan un fallo de diseo en la especificacin actual del protocolo. Con este fin, tambin proponemos y verificamos una posible solucin capaz de mitigar estos defectos.

• Materias:Cifrado de búsqueda Seguridad informática Reconstrucción virtual Detección de intrusos Sistema de programación
• Subjects:Search encryption Computer security Virtual reconstruction Intrusion detection Programming system
• Palabras claves:Protocolo de transporte seguro; QUIC; Rendimiento del transporte; Tráfico HTTPS; Despliegue rápido; Objetivo de seguridad
• Keywords:Secure transport protocol; QUIC; Transport performance; HTTPS traffic; Rapid deployment; Safety goal