Managing Authorization Provenance: A Modal Logic Based Approach

Jinwei Hu, Yan Zhang, Ruixuan Li, Zhengding Lu. Managing Authorization Provenance: A Modal Logic Based Approach. In ICTAI 2009, 21st IEEE International Conference on Tools with Artificial Intelligence, Newark, New Jersey, USA, 2-4 November 2009. pages 621-624, IEEE Computer Society, 2009. [doi]

Abstract

Abstract is missing.