Why Use Datalog to Analyze Programs? Team: John Whaley, Ben Livshits, Michael Martin, Dzintars Avots, Michael Carbin, Chris Unkel.
Chap11
Www.novell.com NetVision’s Policy Management Suite: Security for eDirectory ™, the NetWare ® File System, Auditing, Enforcement, and Synchronization Jim.
SECURITY AND PRIVACY: COMPUTERS AND THE INTERNET Chapter 10.