Editing Cryptographic protocol (section)

=== Notion of abstract protocol ===
{{main|Security protocol notation}}
To formally verify a protocol it is often abstracted and modelled using [[security protocol notation|Alice & Bob notation]]. A simple example is the following:
:<math>A\rightarrow B:\{X\}_{K_{A,B}}</math>

This states that [[Alice and Bob|Alice]] <math>A</math> intends a message for Bob <math>B</math> consisting of a message <math>X</math> encrypted under shared key <math>K_{A,B}</math>.