Mathieu Jaume, Charles Morisset. Formalisation and implementation of Access control models. In International Symposium on Information Technology: Coding and Computing (ITCC 2005), Volume 1, 4-6 April 2005, Las Vegas, Nevada, USA. pages 703-708, IEEE Computer Society, 2005. [doi]
Abstract is missing.