Notación de protocolo de seguridad
En criptografía, notación de protocolo de seguridad (ingeniería), también conocida como narración de protocolo y Alice & La notación 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 tal sistema.
La notación estándar consiste en 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 para fines de autenticación.
Un ejemplo sencillo podría ser el siguiente:
- A→ → B:{}X}KA,B{displaystyle Arightarrow B:{X}_{K_{A,B}
Esto establece que Alice tiene la intención de enviar un mensaje a Bob que consiste en un texto sin formato X encriptado bajo la clave compartida KA,B.
Otro ejemplo podría ser el siguiente:
- B→ → A:{}NB}KA{displaystyle Brightarrow A:{N_{B}}_{K_{A}}
Esto establece que Bob tiene la intención de enviar un mensaje a Alice que consiste en un nonce NB encriptado usando clave pública de Alice.
Una clave con dos subíndices, KA,B, es una clave simétrica compartida por los dos individuos correspondientes. Una clave con un subíndice, KA, es la clave pública del individuo correspondiente. Una clave privada se representa como el inverso 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 forma idéntica.
Podemos expresar protocolos más complicados de esa manera. Vea Kerberos como ejemplo. Algunas fuentes se refieren a esta notación como Notación Kerberos. Algunos autores consideran la notación utilizada por Steiner, Neuman, & Schiller como una referencia notable.
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 del protocolo de seguridad inspiró muchos de los lenguajes de programación utilizados en la programación coreográfica.
Contenido relacionado
Bus de datos
Celosía C
Terminal