La lectura cuántica es un método para verificar la autenticidad de un objeto. Este método es seguro siempre que el objeto no pueda copiarse ni emularse físicamente.
Autenticación de objetos sin contacto frente a autenticación con contacto
Al autenticar un objeto, se pueden distinguir dos casos.
- Autenticación manual: El objeto está completamente bajo el control del verificador. El verificador puede comprobar si el objeto es del tipo, tamaño, peso, etc., correctos. Por ejemplo, puede distinguir entre un diente real y un holograma que lo representa.
- Autenticación sin contacto: El verificador no tiene el control total. Por ejemplo, tiene visibilidad directa, pero no puede tocar el objeto.
En la práctica, las funciones físicas inclonables (PUF) de diversos tipos pueden servir como excelentes tokens de autenticación. Su inclonabilidad física, combinada con la capacidad del verificador para detectar la suplantación de identidad, dificulta enormemente que un atacante cree un objeto que se haga pasar por un clon de PUF. Sin embargo, la autenticación práctica requiere que el poseedor de la PUF renuncie a su control, lo cual puede no ser aceptable, especialmente si existe el riesgo de que el verificador sea un impostor .
En el escenario sin intervención humana, sin embargo, lograr una autenticación confiable es mucho más difícil. Es prudente asumir que el comportamiento de desafío-respuesta de cada PUF es de dominio público. (Un atacante podría obtener una PUF genuina durante un tiempo y realizar muchas mediciones en ella sin ser descubierto). Esta es una suposición del "peor caso", como es habitual en la investigación de seguridad. No representa ningún problema en el caso con intervención humana, pero en el caso sin intervención humana significa que la suplantación de identidad se convierte en un peligro real. Imaginemos, por ejemplo, la autenticación de una PUF óptica a través de una fibra de vidrio. El atacante no tiene la PUF, pero lo sabe todo sobre ella. Recibe el desafío (luz láser) a través de la fibra. En lugar de dispersar la luz en un objeto físico, hace lo siguiente:
- medir el frente de onda entrante;
- buscar la respuesta correspondiente en su base de datos;
- Preparar la luz láser en el estado de respuesta correcto y enviarla de vuelta al verificador.
Este ataque se conoce como "emulación digital".
Durante mucho tiempo, la suplantación de identidad en un escenario sin intervención humana ha parecido ser un problema fundamental que no se puede resolver.
El enfoque tradicional para la autenticación remota de objetos consiste en garantizar un entorno de interacción directa, por ejemplo, mediante un dispositivo remoto seguro y a prueba de manipulaciones que examine el objeto. Las desventajas de este enfoque son (a) el costo y (b) el grado de seguridad desconocido ante ataques cada vez más sofisticados.
Lectura cuántico-física de una PUF
El esquema básico
El problema de la suplantación de identidad en el caso de que no haya contacto directo se puede resolver utilizando dos propiedades fundamentales de la teoría de la información de la física cuántica:
- Un solo cuanto en un estado desconocido no puede clonarse. [ 1 ]
- Cuando se mide un estado cuántico, la mayor parte de la información que contiene se destruye.
Sobre la base de estos principios, se propuso el siguiente esquema. [ 2 ]
- Inscripción . El proceso de inscripción habitual en PUF. No se requiere física cuántica. Los datos de inscripción se consideran públicos.
- Desafío . Un solo cuanto (por ejemplo, un fotón) se prepara en un estado aleatorio. Se envía a la PUF.
- Respuesta . El cuanto interactúa con el PUF (por ejemplo, dispersión coherente), lo que da como resultado una transformación unitaria del estado.
- Verificación . El cuanto se devuelve al verificador. Él sabe exactamente cuál debería ser el estado de respuesta. Este conocimiento le permite realizar una medición de verificación de "sí/no".
Los pasos 2 a 4 se repiten varias veces para reducir exponencialmente la probabilidad de falsa aceptación.
El punto crucial es que el atacante no puede determinar cuál es el desafío real, ya que esa información está empaquetada en un estado cuántico "frágil". Si intenta investigar el estado del desafío midiéndolo, destruye parte de la información. Al no saber dónde buscar exactamente en su base de datos de desafío-respuesta, el atacante no puede generar respuestas correctas de forma fiable.
También se ha propuesto en la literatura una autenticación cuántica de variables continuas de PUF, que se basa en técnicas estándar de conformación de frentes de onda y detección homodina . [ 3 ]
Utilizando las mismas técnicas, también se ha propuesto en la literatura un esquema óptico para compromisos criptográficos con funciones físicas no clonables. [ 4 ]
supuestos de seguridad
El plan es seguro solo si se cumplen las siguientes condiciones:
- Imposibilidad de clonar físicamente el PUF.
- El atacante no puede realizar transformaciones unitarias arbitrarias sobre el cuanto de desafío (es decir, se supone que la emulación física de la PUF es inviable).
En los sistemas ópticos de dispersión múltiple, los requisitos anteriores pueden cumplirse en la práctica.
La lectura cuántica de PUF es incondicionalmente segura contra la emulación digital, pero condicionalmente segura contra la clonación física y la emulación física.
Propiedades de seguridad especiales
La lectura cuántica de PUFs logra
- Autenticación de objetos sin necesidad de hardware de confianza junto al objeto.
- Autenticación de un canal de comunicación cuántica sin secretos compartidos previamente y sin partículas entrelazadas compartidas . La autenticación se basa en información pública.
Imaginemos que Alice y Bob desean realizar una distribución de claves cuánticas de forma puntual, es decir, sin haber intercambiado datos ni materia previamente. Ambos poseen una PUF óptica registrada. Consultan los datos de registro de la PUF del otro en una fuente de confianza. Ejecutan la distribución de claves cuánticas a través de ambas PUF ópticas; con una ligera modificación del protocolo, obtienen distribución de claves cuánticas y autenticación bidireccional. La seguridad de su distribución de claves es incondicional, pero la seguridad de la autenticación está condicionada a las dos suposiciones mencionadas anteriormente.
Pruebas de seguridad
Se ha demostrado la seguridad en el caso de ataques de estimación de desafío, en los que el atacante intenta determinar el desafío lo mejor posible utilizando mediciones. Hay pruebas para n=1, [ 5 ] para mediciones de cuadratura en estados coherentes [ 6 ] y para un número fijo de cuantos n>1. [ 7 ] El resultado para dimensión K y n cuantos es que la probabilidad de falsa aceptación en una sola ronda no puede exceder (n+1)/(n+K).
La seguridad de la autenticación cuántica de variables continuas de PUF frente a un ataque de emulación también se ha abordado en el marco de la cota de Holevo y la desigualdad de Fano, [ 8 ] así como un ataque de intermediario . [ 9 ]
Todas las medidas de seguridad mencionadas anteriormente presuponen una configuración de autenticación a prueba de manipulaciones, lo cual es difícil de justificar en un escenario de autenticación remota.
Realización experimental
Se ha demostrado en el laboratorio la lectura cuántica de PUF ópticas basadas en moteado. [ 10 ] [ 11 ] Esta realización se conoce con el nombre de Autenticación Cuántica Segura.
Este protocolo, al igual que el protocolo de referencia [ 3 ] , está limitado a distancias cortas (< 10 km) debido a problemas prácticos relacionados con la transmisión de los estados cuánticos. En un entorno clásico, al cifrar las entradas en la base de datos de pares desafío-respuesta, se puede construir un protocolo que opere a distancias arbitrarias y ofrezca seguridad contra adversarios tanto clásicos como cuánticos (incluidos los ataques de emulación) [ 12 ] .
Referencias
- ↑ WK Wootters y WH Zurek. "Un solo cuanto no puede clonarse". Nature, 299: 802–803, 1982
- ↑ B. Škorić, "Lectura cuántica de funciones físicas no clonables", International Journal of Quantum Information, 10(1):1250001–1 – 125001–31, 2012.
- 1 2 Georgios M. Nikolopoulos y E. Diamanti, "Autenticación cuántica de variables continuas de claves físicas no clonables" , Scientific reports , 2017.
- ↑ Nikolopoulos, GM (2019). "Esquema óptico para compromisos criptográficos con claves físicas inclonables" . Optics Express . 27 (29): 29367– 29379. arXiv : 1909.13094 . Bibcode : 2019OExpr..2729367N . doi : 10.1364/OE.27.029367 . PMID 31684673. S2CID 203593129 .
- ↑ B. Škorić, "Lectura cuántica de funciones físicas no clonables", http://eprint.iacr.org/2009/369
- ↑ B. Škorić, AP Mosk, PWH Pinkse, "Seguridad de PUF de lectura cuántica frente a ataques de estimación de desafío basados en cuadratura", http://eprint.iacr.org/2013/084
- ↑ B. Škorić, "Análisis de seguridad de PUF de lectura cuántica en el caso de ataques de estimación de desafío", http://eprint.iacr.org/2013/479
- ↑ Nikolopoulos, Georgios M. (22 de enero de 2018). "Autenticación cuántica de variables continuas de claves físicas no clonables: seguridad contra un ataque de emulación". Physical Review A. 97 ( 1) 012324. arXiv : 1801.07434 . Bibcode : 2018PhRvA..97a2324N . doi : 10.1103/PhysRevA.97.012324 . S2CID 119486945 .
- ↑ Fladung, Lukas; Nikolopoulos, Georgios M.; Alber, Gernot; Fischlin, Marc (2019). "Ataques de emulación de interceptación y reenvío contra un protocolo de autenticación cuántica de variable continua con claves físicas no clonables" . Criptografía . 3 (4): 25. arXiv : 1910.11579 . doi : 10.3390/cryptography3040025 .
- ↑ SA Goorden, M. Horstmann, AP Mosk, B. Škorić, PWH Pinkse, "Autenticación cuántica segura con una clave clásica", https://arxiv.org/abs/1303.0142
- ↑ SA Goorden, M. Horstmann, AP Mosk, B. Škorić, PWH Pinkse, "Autenticación cuántica segura de una clave física no clonable", http://www.opticsinfobase.org/optica/abstract.cfm?uri=optica-1-6-421
- ↑ Nikolopoulos, Georgios M. (julio de 2021). "Autenticación cuántica remota segura de entidades con funciones físicas no clonables" . Photonics . 8 (7): 289. arXiv : 2108.00468 . Bibcode : 2021Photo...8..289N . doi : 10.3390/photonics8070289 .
Enlaces externos
- http://theconversation.com/quantum-physics-can-fight-fraud-by-making-card-verification-unspoofable-35632
- Primitivas criptográficas
- Criptografía cuántica
- Ciencia de la información cuántica