🔬 physics

Security evaluation of quantum distance-bounding protocols via semidefinite programming

Este artículo evalúa la seguridad de los protocolos de delimitación de distancia cuántica mediante el aislamiento de su fase rápida y el uso de programación semidefinida para calcular las probabilidades óptimas de ataque de fraude de distancia y de fraude de mafia de una sola ronda para sistemas de variables discretas, al tiempo que proporciona estimaciones para escenarios de variables continuas.

Autores originales: Kevin Bogner, Aysajan Abidin, Dave Singelée, Bart Preneel

Publicado 2026-09-15

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Kevin Bogner, Aysajan Abidin, Dave Singelée, Bart Preneel

Artículo original bajo licencia CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina un mundo donde tu coche solo se desbloquea cuando el mando de la llave está físicamente junto a ti, y un ladrón no puede engañar al sistema retransmitiendo señales de un mando que en realidad se encuentra a kilómetros de distancia. Esta es la promesa de los protocolos de delimitación de distancia (distance-bounding): sistemas digitales que verifican no solo que tienes el código secreto correcto, sino que estás parado exactamente donde afirmas estar. En el mundo clásico, esto depende de medir cuánto tarda una señal de radio en rebotar y volver. Pero a medida que la tecnología avanza, los científicos están trasladando estas comprobaciones al reino cuántico, utilizando partículas de luz para crear garantías de tiempo inquebrantables. El desafío, sin embargo, ha sido que cada nuevo diseño cuántico se comporta de manera diferente, lo que hace casi imposible comparar su seguridad de forma justa. Un diseño podría ser fuerte contra un tipo específico de truco, mientras que otro falla ante uno distinto, dejando a los investigadores sin una vara de medir común para juzgar qué sistemas son verdaderamente seguros.

Un equipo de investigadores de la KU Leuven en Bélgica ha resuelto ahora este problema de comparación mediante la creación de un campo de pruebas universal para estos controles de distancia cuánticos. Se centraron en el momento más crítico de estos protocolos: la "fase rápida", un intercambio de una fracción de segundo en el que el probador debe responder a un desafío antes de que la luz pudiera posiblemente viajar desde una ubicación distante. Al aislar esta única ronda de comunicación, el equipo desarrolló un método matemático para calcular la tasa de éxito absoluta de un atacante que intenta engañar. En lugar de adivinar o simular trucos específicos, utilizaron una poderosa herramienta de optimización llamada programación semidefinida para mapear cada una de las estrategias que un atacante podría utilizar, asegurando que no se pasara por alto ningún posible vacío legal. Este enfoque les permitió determinar los límites exactos de seguridad de varios protocolos cuánticos líderes, revelando cuáles resisten y cuáles son más vulnerables de lo que se pensaba anteriormente.

Los investigadores aplicaron este método a cuatro protocolos cuánticos distintos, tres de los cuales utilizan partículas individuales de luz y uno que utiliza ondas continuas de luz. Para los sistemas basados en partículas, las matemáticas proporcionaron respuestas exactas e inamovibles. Descubrieron que, para el tipo más común de engaño, donde un usuario deshonesto intenta pretender que está más cerca de lo que realmente está, la tasa de éxito es exactamente del cincuenta por ciento en todos los protocolos basados en partículas que estudiaron. Esto significa que, en una sola ronda, un tramposo distante no tiene más posibilidades que lanzar una moneda al aire. Sin embargo, la historia cambia para el protocolo que utiliza ondas continuas de luz, donde la tasa de éxito para este mismo tipo de engaño cae significativamente a aproximadamente el treinta y seis por ciento. La historia también cambia cuando se observa un ataque más complejo, donde un equipo de criminales trabaja en conjunto —uno parado cerca del verificador y otro cerca del usuario honesto— para retransmitir información. En este escenario, los protocolos se comportaron de manera muy diferente. El equipo descubrió que el protocolo más ampliamente estudiado, conocido como QDB 2019, es en realidad menos seguro de lo que se creía, con un nuevo análisis que muestra que un atacante podría tener éxito aproximadamente el noventa por ciento de las veces. Otro protocolo, llamado Mutual QDB, también resultó ser más débil que las estimaciones anteriores, con una tasa de éxito para los atacantes que aumenta al setenta y cinco por ciento.

Quizás el hallazgo más significativo fue para dos protocolos que nunca habían sido probados rigurosamente de esta manera. Para un protocolo basado en el famoso diseño de entrelazamiento E91, los investigadores calcularon los primeros números de seguridad, encontrando que un atacante podría tener éxito aproximadamente el noventa y tres por ciento de las veces en el escenario de fraude tipo "mafia". Del mismo modo, para un protocolo que utiliza ondas continuas de luz, proporcionaron las primeras estimaciones, mostrando una tasa de éxito de alrededor del noventa y un por ciento para el mismo tipo de ataque. Estos números no son meras conjeturas teóricas; para los protocolos basados en partículas, el equipo generó certificados matemáticos que prueban que ningún otro método podría hacerlo mejor. Es un poco como encontrar la cima más alta en una cadena montañosa: una vez que tienes el mapa y la prueba, sabes con certeza que nadie puede escalar más alto.

El estudio también aclaró por qué algunos diseños antiguos no están incluidos en esta comparación. Un protocolo temprano dependía de una firma digital final para probar la autenticidad, pero cuando los investigadores eliminaron esa firma para probar únicamente el mecanismo de temporización, el sistema colapsó por completo, permitiendo que un atacante tuviera éxito el cien por ciento de las veces. Esto confirmó un principio vital: el mecanismo de temporización en sí mismo debe ser lo suficientemente fuerte como para autenticar al usuario, no solo depender de una verificación posterior. Los investigadores enfatizaron que estos resultados se aplican a una sola ronda de comunicación. En un sistema del mundo real con muchas rondas, la seguridad sería aún mayor, pero conocer el límite exacto de una sola ronda es el primer paso esencial para construir un todo seguro. Al proporcionar estos números precisos y comparables, el equipo ha dado a los ingenieros una forma clara de elegir los protocolos más robustos para la futura tecnología de ubicación segura.

Título: Evaluación de la seguridad de los protocolos de determinación de distancia cuántica mediante programación semidefinida

Planteamiento del problema
Los protocolos de determinación de distancia cuántica (QDB, por sus siglas en inglés) tienen como objetivo verificar que un probador posee una clave secreta válida y que se encuentra físicamente a una distancia específica de un verificador. Estos protocolos utilizan una fase rápida de comunicación cuántica cronometrada para imponer restricciones de distancia. Sin embargo, comparar la seguridad de diferentes protocolos QDB es difícil porque los ataques óptimos dependen fuertemente de la estructura específica de la fase rápida del protocolo. La literatura existente a menudo se centra en ataques específicos de cada protocolo, lo que carece de una base uniforme para la comparación entre diferentes variantes de QDB (por ejemplo, preparación y medición frente a basadas en entrelazamiento). Además, aunque la Verificación de Posición Cuántica (QPV) ha sido ampliamente estudiada, sus modelos de ataque implican problemas de optimización no convexos debido a la separación de los atacantes, lo que dificulta las soluciones exactas. El artículo aborda la necesidad de un marco unificado para evaluar y comparar la seguridad de los protocolos QDB contra el fraude de distancia (DF) y el fraude de mafia (MF) en un entorno de una sola ronda.

Metodología
Los autores utilizan el marco de seguridad QDB establecido por [BASP26] para formalizar las capacidades de los adversarios en los escenarios de DF y MF. Aíslan la fase rápida del protocolo en juegos de una sola ronda y modelan las estrategias de ataque óptimas utilizando Programación Semidefinida (SDP).

QDB de Variables Discretas (DV): Para los protocolos DV-QDB, los autores demuestran que los conjuntos de estrategias tanto para DF como para MF admiten representaciones exactas de SDP.
- Fraude de Distancia (DF): El probador distante debe preparar un estado cuántico sin conocimiento del desafío del verificador. Esto se reduce a un "SDP de estado", donde el adversario optimiza una matriz de densidad para maximizar la probabilidad de aceptación.
- Fraude de Mafia (MF): El adversario actúa como un par cooperativo (cerca del verificador y cerca del probador), pero se modela como una estrategia secuencial única en el juego de una sola ronda. El adversario realiza una "pre-consulta" (interrogando al probador honesto) antes de que llegue el desafío cronometrado, almacena el sistema cuántico y luego lo procesa con el desafío del verificador. Esta estrategia de dos pasos se representa como un "peine de dos ranuras" (two-slot comb), lo que conduce a un "SDP de peine".
- Resolubilidad Exacta: A diferencia de la QPV, donde la naturaleza dividida de los atacantes conduce a una optimización no convexa, el adversario de MF en el juego de una sola ronda de QDB colapsa en una estrategia secuencial. Esto permite que el óptimo de la SDP sea igual al valor exacto del juego en lugar de un límite de relajación. Los autores verifican estos valores utilizando testigos coincidentes primales (ataque) y duales (certificado) en aritmética exacta.
QDB de Variables Continuas (CV): Para el CV-QDB, el espacio de estados de dimensión infinita impide una formulación SDP exacta. En su lugar, los autores emplean un modelo de ataque Gaussiano calibrado. Reportan estimaciones de probabilidad de éxito derivadas de una búsqueda en una rejilla finita sobre parámetros gaussianos (amplitud de la sonda, ángulos de medición) bajo un supuesto de ruido de respuesta añadida cero para maximizar el potencial del atacante.

Contribuciones Clave

Marco Unificado: El artículo establece un método uniforme para comparar protocolos QDB reduciendo sus fases rápidas a juegos de DF y MF de una sola ronda resolubles mediante SDP.
Formulaciones SDP Exactas: Proporciona las primeras representaciones exactas de SDP para el espacio completo de estrategias de ataques DV-QDB de una sola ronda, distinguiéndolas de los enfoques basados en relajación comunes en QPV.
Nuevos Límites de Seguridad:
- QDB 2019: El estudio encuentra un ataque MF más fuerte ( $p^*_{MF} \approx 0.9045$ ) que el reportado anteriormente ($0.875$), logrado al mantener el estado cuántico intacto durante la pre-consulta en lugar de colapsarlo a una estimación clásica.
- QDB Mutuo: El estudio reporta un nuevo valor de MF de $0.75$, mejorando el $0.625$ reportado anteriormente.
- E91 QDB: El artículo proporciona los primeros valores reportados de una sola ronda para DF ($0.5 $) y MF ($ \approx 0.9332$) para este protocolo.
- CV-QDB: Ofrece las primeras estimaciones de ronda por ronda de DF ( $\approx 0.3592$ ) y MF ( $\approx 0.9138$ ) para un protocolo de Gaussian CV-QDB.
Certificación: Para todos los resultados de DV, los autores proporcionan testigos primales y duales explícitos verificados en aritmética exacta, asegurando que los valores reportados sean límites rigurosos superiores e inferiores.

Resultados

Fraude de Distancia (DF): Para todos los protocolos de variables discretas analizados, la probabilidad de éxito óptima de una sola ronda para DF es exactamente $0.5$. Esto indica que el DF no distingue entre la seguridad de estos diseños específicos de DV-QDB.
Fraude de Mafia (MF): Los valores de MF varían significamente entre protocolos, desde $0.75$ (QDB Mutuo) hasta $0.9332$ (E91 QDB). La variación depende de qué tan efectivamente un adversario puede convertir la información obtenida de una pre-consulta en una respuesta válida para un desafío fresco.
Estimaciones de CV-QDB: El protocolo CV-QDB muestra una probabilidad de DF más baja ( $\approx 0.36$ ) en comparación con los protocolos DV debido a la naturaleza continua del umbral de aceptación, pero una alta probabilidad de MF ( $\approx 0.91$ ). Estos valores son estimaciones dependientes de parámetros de calibración específicos (squeezing, umbral, límites de energía).
QDB 2017: El artículo señala que el QDB 2017, que depende de un MAC final para la autenticación en lugar de la fase rápida misma, produce un valor de MF de $1$ en el juego de una sola ronda (ya que el MAC es eliminado). Esto destaca que el rango y la autenticación no pueden separarse; la fase rápida por sí sola debe proporcionar resistencia al MF.

Significancia y Reivindicaciones
El artículo afirma que su contribución principal es la capacidad de comparar protocolos QDB sobre una base común utilizando formulaciones convexas exactas (SDP) para sistemas de variables discretas. Esto contrasta con la QPV, donde la optimización del ataque es generalmente no convexa. Los autores enfatizan que estos resultados son para juegos de fase rápida reducidos de una sola ronda y no equivalen directamente a las probabilidades de fraude de protocolos completos, que involucran correlaciones de múltiples rondas y estrategias adaptativas. Sin embargo, los valores de una sola ronda reportados sirven como las constantes necesarias para los análisis de seguridad de múltiples rondas (por ejemplo, mediante límites de concentración). El trabajo actualiza la comprensión de seguridad de los protocolos existentes (QDB 2019, QDB Mutuo) al identificar ataques más fuertes y proporciona las primeras métricas cuantitativas de seguridad para E91 QDB y CV-QDB. Los autores declaran explícitamente que el Fraude de Terrorista (TF) está fuera del alcance de este análisis de una sola ronda.

Más como este