Xinwen Zhang, Ravi S. Sandhu, Francesco Parisi-Presicce. Safety analysis of usage control authorization models. In Ferng-Ching Lin, Der-Tsai Lee, Bao-Shuh Lin, Shiuhpyng Shieh, Sushil Jajodia, editors, Proceedings of the 2006 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2006, Taipei, Taiwan, March 21-24, 2006. pages 243-254, ACM, 2006. [doi]
Abstract is missing.