A temporal-logic extension of role-based access control covering dynamic separation of duties Till Mossakowski, Michael Drouineaud, and Karsten Sohr   View Paper (PDF)   Return to Research Papers ©2004 Association for Computing Machinery