Compositional refinement of policies in UML – Exemplified for access control (2008)

by B Solhaug, K Stølen
Venue:In Proceedings of the 13th European Symposium on Research in Computer Security (ESORICS’08), volume 5283 of LNCS