Specification and Refinement of Access Control

Dominique Méry, Stephan Merz. Specification and Refinement of Access Control. J. UCS, 13(8):1073-1093, 2007. [doi]

Abstract

Abstract is missing.