Abstract
In object-oriented software development, design and implementation of static access control is a tricky task that has currently received few attention in the framework of development environments. In a previous work, we have denned a graph-based access control formalism and specified a suite of tools (AGATE) using this formalism as a foundation. In this paper, we investigate the implementation and the use of the visualization aspect. We describe how visualization is achieved thanks to Royere, a framework dedicated to graph visualization, and we outline results of a case study.