1. Security Policy Definition and Enforcement in Distributed Systems Zhao, Hang 2012 Theses Computer science