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

Till Mossakowski Michael Drouineaud Karsten Sohr A temporal-logic extension of role-based access control covering dynamic separation of duties. 83-90 2003 conf/time/2003 TIME http://csdl.computer.org/comp/proceedings/time-ictl/2003/1912/00/19120083abs.htm db/conf/time/time2003.html#MossakowskiDS03