Formal Analyses of Usage Control Policies. - Alexander Pretschner; Judith Rüesch; Christian Schaefer; Thomas Walter 001 (ARES, 2009)