Security protocol notation
In cryptography, security (engineering) protocol notation, also known as protocol narrations[1] and Alice & Bob notation, is a way of expressing a protocol of correspondence between entities of a dynamic system, such as a computer network. In the context of a formal model, it allows reasoning about the properties of such a system.
The standard notation consists of a set of principals (traditionally named Alice, Bob, Charlie, and so on) who wish to communicate. They may have access to a server S, shared keys K, timestamps T, and can generate nonces N for authentication purposes.
A simple example might be the following:
- [math]\displaystyle{ A\rightarrow B:\{X\}_{K_{A,B}} }[/math]
This states that Alice intends a message for Bob consisting of a plaintext X encrypted under shared key KA,B.
Another example might be the following:
- [math]\displaystyle{ B\rightarrow A:\{N_B\}_{K_A} }[/math]
This states that Bob intends a message for Alice consisting of a nonce NB encrypted using public key of Alice.
A key with two subscripts, KA,B, is a symmetric key shared by the two corresponding individuals. A key with one subscript, KA, is the public key of the corresponding individual. A private key is represented as the inverse of the public key.
The notation specifies only the operation and not its semantics — for instance, private key encryption and signature are represented identically.
We can express more complicated protocols in such a fashion. See Kerberos as an example. Some sources refer to this notation as Kerberos Notation.[2] Some authors consider the notation used by Steiner, Neuman, & Schiller[3] as a notable reference.[4]
Several models exist to reason about security protocols in this way, one of which is BAN logic.
Security protocol notation inspired many of the programming languages used in choreographic programming.
References
- ↑ Briais, Sébastien; Nestmann, Uwe (2005). "A Formal Semantics for Protocol Narrations". Trustworthy Global Computing. Lecture Notes in Computer Science. 3705. pp. 163–181. doi:10.1007/11580850_10. ISBN 978-3-540-30007-6. Bibcode: 2005LNCS.3705..163B. http://sbriais.online.fr/papers/A_Formal_Semantics_For_Protocol_Narrations_TGC05-final.pdf.
- ↑ Chappell, David (1999). "Exploring Kerberos, the Protocol for Distributed Security in Windows 2000". Microsoft Systems Journal. https://www.microsoft.com/msj/0899/kerberos/kerberos.aspx.
- ↑ Steiner, J. G.; Neuman, B. C.; Schiller, J. I. (February 1988). "Kerberos: An Authentication Service for Open Network Systems". Usenix. Berkeley, CA: USENIX Association. pp. 191–201. http://clifford.neuman.name/publications/1988/198802-Usenix-Kerberos/198802-Usenix-Steiner-Neuman-Schiller-Kerberos.pdf. Retrieved 2009-06-10.
- ↑ Davis, Don; Swick, Ralph (1989-03-17) (PS). Workstation Services and Kerberos Authentication at Project Athena. p. 1. ftp://athena-dist.mit.edu/pub/ATHENA/kerberos/doc/user2user.ps. Retrieved 2009-06-10. "…our notation follows Steiner, Neuman, & Schiller,…"
 |  |
