Includes supplementary material: sn.pub/extras
Javier López
Information Kernel access control algorithms calculus cryptology data security database digital signatures information security network security security security engineering systems security verification