Criptosistemas Simétricos

Es una terna de algoritmos:

• Gen (Algoritmo de generación de claves)
• Enc (Cifrado): ${\text{Enc}}_k(m)$
• Dec (Descifrado): ${\text{Dec}}_k(c)$

Donde:

• La salida de Gen define K el espacio de claves.
• La entrada de Enc define el espacio de mensajes.
• La entrada de Dec define el espacio de mensajes cifrados
• Para todo m y k validos: ${\text{Dec}}_k({\text{Enc}}_k(m))=m$

Escenarios de Ataques

• Ataque de texto cifrado (Ciphertext-only attack): El adversario solo dispone de mensajes cifrados y busca obtener los mensajes
• Ataque de texto plano conocido (Known-plaintext attack): El adversario conoce pares (mensaje, mensaje cifrado) con la misma clave, y busca obtener un mensaje a partir de otro texto cifrado.
• Ataque de texto plano escogido (Chosen-plaintext attack): El adversario puede obtener el cifrado de los mensajes que desee, y busca obtener el descifrado de un mensaje cifrado diferente.
• Ataque de texto cifrado escogido (Chosen-ciphertext attack): El adversario puede obtener el descifrado de los mensajes que desee, y busca obtener el descifrado de u mensaje diferente.

Seguridad de Cifrados Simétricos

Un criptosistema es seguro si ningún adversario puede computar cualquier función del texto plano a partir del mensaje cifrado que posee. Esta condición se puede formular matemáticamente gracias al aporte de Claude Shannon, y se conoce como condición de Secreto Perfecto

Ejemplos

• One Time Pad
• Criptosistemas de Flujo
• Criptosistemas de Bloque