Usage control is a generalization of access control that also addresses how data is used after it is released. We present a formal model for different mechanisms that can enforce usage control policies on the consumer side. Categories and Subject Descriptors D.2.4 [Software Engineering]: Software/Program Verification 							
						
							
					 															
					Alexander Pretschner, Manuel Hilty, David A. Basin