A Distributed Access Control Architecture for Cloud Computing
Alcoa: the alloy constraint analyzer