Access control, security, and trust : a logical approach - Chin, Shiu-Kai, (Chapman & Hall/CRC cryptography and network security., 2011)