Decentralized enforcement of security policies for distributed computational systems. - Arie Orlovsky; Danny Raz (SAC, 2007)