Garantías de confidencialidad o secreto derivadas de medidas de teoría de la información y construcciones codificadoras en lugar de suposiciones de dureza computacional: declaraciones de que la información de un adversario sobre un mensaje (p. ej. información mutua o equivocation) puede hacerse arbitrariamente pequeña bajo restricciones especificadas de canal, clave o recursos de codificación.

Principio

La confidencialidad se cuantifica mediante medidas información‑teóricas (entropía, información mutua, equivocation); en el modelo asumido, un esquema es seguro si la medida de información del adversario sobre el mensaje tiende a cero (o cumple una cota prescrita) al aumentar los parámetros de codificación, independientemente de la capacidad computacional del adversario.

Demostración

Escenario ilustrativo → Emisor y receptor emplean un codificador estocástico sobre un canal ruidoso y un eavesdropper recibe una versión degradada. Reconocimiento: el modelo especifica las estadísticas del canal y la aleatoriedad disponible. Acción: aplicar un código de secreto que reduce la información mutua entre mensaje y salida del eavesdropper. Consecuencia: para longitudes de bloque suficientemente grandes, la información del eavesdropper sobre el mensaje se vuelve arbitrariamente pequeña, logrando secreto información‑teórico según el modelo de canal y las restricciones de tasa de clave.

Aplicación incorrecta

Asumir seguridad información‑teórica frente a un adversario con acceso a canales laterales o capacidades fuera del modelo especificado (fugas del dispositivo, copias almacenadas, acceso físico). El error es confundir secreto demostrable relativo al modelo con invulnerabilidad absoluta en la práctica.

Consecuencia

Permite garantías de secreto demostrables, relativas al modelo, que no dependen de supuestos de dureza computacional; tales garantías informan requisitos de tasa de clave, diseño de códigos y arquitecturas de sistema cuando se requiere secreto incondicional bajo restricciones explícitas.

Inversión

Si el modelo asumido falla (el adversario tiene canales laterales, observa estados físicos correlacionados, las estadísticas del canal difieren, o existen límites prácticos como bloques finitos), la garantía teórica puede fallar y debe re‑evaluarse con el modelo ampliado o análisis de bloque finito.

Límite

Claramente dentro: pruebas de secreto basadas en modelos de canal, entropía de clave y construcciones codificadoras que acotan la información del adversario. Caso límite: esquemas que dependen del ruido supuesto o de almacenamiento limitado que pueden fallar si cambian las hipótesis. Claramente fuera: afirmaciones de seguridad basadas únicamente en dureza computacional (p. ej. RSA) sin cotas información‑teóricas.

Tensión semántica

Secreto absoluto (fuerte, relativo al modelo) versus practicidad (longitud de clave, pérdida de tasa, complejidad e implementación física); las garantías información‑teóricas más fuertes suelen requerir más recursos.

Síntesis

La seguridad teoría‑de‑la‑información replantea el secreto como una elección de modelo: las garantías demostrables sólo valen en la medida en que el modelo de capacidades del adversario y de los canales sea realista; lograr secreto incondicional práctico exige considerar explícitamente canales laterales, costes de recursos y efectos de bloque finito.