En criptografía , la notación de protocolo de seguridad (ingeniería) , también conocida como narraciones 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 consta de un conjunto de directores (tradicionalmente llamados Alice, Bob , Charlie, etc.) que desean comunicarse. Pueden tener acceso a un servidor S, claves compartidas K, marcas de tiempo T y pueden generar nonces N con fines de autenticación.
Esto indica que un piojos se propone un mensaje de B ob que consiste en un texto claro X cifrado compartida bajo llave K A, B .
Esto indica que B ob tiene la intención de un mensaje para A piojos que consiste en una n una vez N B encriptado 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 solo la operación y no su semántica; por ejemplo, el cifrado de clave privada y la firma se representan de manera idéntica.