La notación del protocolo de la seguridad del (ingeniería) es una manera de expresar un protocolo de la correspondencia entre las entidades de un sistema dinámico, tales como una red de ordenadores . En el contexto de un modelo formal, permite el razonar sobre las características de tal sistema.

La notación estándar consiste en un sistema de los individuos (tradicionalmente nombrados Alicia, Bob, Charlie y así sucesivamente) que desean comunicar. Pueden tener acceso a un servidor S, llaves compartidas K, relojes fechadores T, y pueden generar los nonces N para los propósitos de la autentificación.

Un ejemplo simple pudo ser los siguientes: $A\; del$

l \ _ de B:\ del rightarrow {X_1 \} {K_ {AB}}

Esto indica que los piojos del A piensan un mensaje para el ob del B que consiste en un $X\_1$ del texto llano cifrado bajo dominante compartido K_AB .

Otro ejemplo pudo ser los siguientes: $B\; del$

l \ _ de A:\ del rightarrow {N_B \} {PK (A)}

Esto indica que el ob del B piensa un mensaje para los piojos del A que consisten en un ''' una vez del ''' N cifrado usar la llave pública de Alicia.

Una llave con dos subíndices es una llave simétrica compartida por los dos individuos correspondientes. Una llave con un subíndice es la llave pública del individuo correspondiente. Una llave privada se representa como lo contrario de la llave pública.

La notación especifica solamente la operación y no su semántica - por ejemplo, la encripción de llave pública y la firma se representan idénticamente.

Podemos expresar protocolos más complicados en tal manera, vemos Kerberos como ejemplo.

Varios modelos existen para razonar sobre protocolos de seguridad de esta manera, uno cuyo es la lógica de la INTERDICCIÓN.