Model-based specification and refinement of usage control policies | IEEE Conference Publication | IEEE Xplore