An Integrated Formal Approach to Usage Control.

Published in: IEEE Symposium on Security and Privacy Workshops (2013)