HenryLevy?'s classic book, "Capability-Based Computer Systems", is at http://www.cs.washington.edu/homes/levy/capabook/
CategoryOnlineBook