Notación de protocolo de seguridad

En criptografía , la notación de protocolo de seguridad (ingeniería) , también conocida como narración de protocolo ^{[ 1 ]} y notación de Alice & Bob , es una forma de expresar un protocolo de correspondencia entre entidades de un sistema dinámico, como una red informática . En el contexto de un modelo formal , permite razonar sobre las propiedades de dicho sistema.

La notación estándar consiste en un conjunto de usuarios principales (tradicionalmente llamados Alice, Bob , Charlie, etc.) que desean comunicarse. Pueden tener acceso a un servidor S, claves compartidas K, marcas de tiempo T y generar valores aleatorios N para fines de autenticación.

Un ejemplo sencillo podría ser el siguiente:

${\displaystyle A\rightarrow B:\{X\}_{K_{A,B}}}$

Esto indica que Alice pretende enviar un mensaje a Bob que consiste en un texto plano X cifrado bajo la clave compartida K _A,B .

Otro ejemplo podría ser el siguiente:

${\displaystyle B\rightarrow A:\{N_{B}\}_{K_{A}}}$

Esto indica que B ob pretende enviar un mensaje a A lice que consiste en un n una vez que N _B está cifrado usando la clave pública de Alice.

Una clave con dos subíndices, K _A,B , es una clave simétrica compartida por los dos individuos correspondientes. Una clave con un subíndice, K _A , es la clave pública del individuo correspondiente. Una clave privada se representa como la inversa de la clave pública.

La notación especifica únicamente la operación y no su semántica ; por ejemplo, el cifrado de clave privada y la firma se representan de forma idéntica.

Podemos expresar protocolos más complejos de esta manera. Véase Kerberos como ejemplo. Algunas fuentes se refieren a esta notación como Notación Kerberos . ^{[ 2 ]} Algunos autores consideran la notación utilizada por Steiner, Neuman y Schiller ^{[ 3 ]} como una referencia notable. ^{[ 4 ]}

Existen varios modelos para razonar sobre los protocolos de seguridad de esta manera, uno de los cuales es la lógica BAN .

La notación de protocolos de seguridad inspiró muchos de los lenguajes de programación utilizados en la programación coreográfica .