Ingen varer
Kassen / rediger kurv
The design of authentication protocols is discussed in depth, and this would also include looking into the role of formal verification in the design of security protocols.