A temporal-logic extension of role-based access control covering dynamic separation of duties.

Till Mossakowski, Michael Drouineaud, Karsten Sohr

Browse the full TIME paper archive.