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