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