Compositional Refinement of Policies in UML - Exemplified for Access Control.

Bjrnar Solhaug, Ketil Stlen

Browse the full ESORICS paper archive.