Specification and verification of an attribute-based usage control approach for open and dynamic computing environments - Grompanopoulos, Christos (2014)