Access control, security, and trust : a logical approach - Chin, Shiu-Kai, (CRC Press, 2011)
"A Chapman & Hall Book."