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

Till Mossakowski Michael Drouineaud Karsten Sohr

Published in: TIME (2003)

Keyphrases

temporal logic
role based access control
model checking
computation tree logic
dynamic constraints
modal logic
access control
verification method
linear temporal logic
linear time temporal logic
data security
data management
multi domain