[IEEE Comput. Soc 10th International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic. TIME-ICTL 2003 - Cairns, Qld., Australia (8-10 July 2003)] 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings. - A temporal-logic extension of role-based access control covering dynamic separation of duties