Extraction and comprehension of moodle's access control model: A case study

Abstract

Whether for development, maintenance or refactoring, multiple steps in software development cycle require comprehension of a program's access control model (AC model). In this paper, we present a novel approach to reverse-engineer AC model structure from PHP source code. Using an hybrid approach combining static analysis and model checking techniques, we are able to extract AC model structure in a fast and precise way.

DOI: 10.1109/PST.2011.5971962

5 Figures and Tables

Cite this paper

@article{Gauthier2011ExtractionAC, title={Extraction and comprehension of moodle's access control model: A case study}, author={François Gauthier and Dominic Letarte and Thierry Lavoie and Ettore Merlo}, journal={2011 Ninth Annual International Conference on Privacy, Security and Trust}, year={2011}, pages={44-51} }