Includes supplementary material: sn.pub/extras
Riccardo Focardi
Access Control Authentication Cryptographic Protocols Data Security Formal Methods Identification Information Protection Internet Secure Communications Systems Security computer computer security information logic security