Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce. Decidability of Safety in Graph-Based Models for Access Control. In Dieter Gollmann, Günter Karjoth, Michael Waidner, editors, Computer Security - ESORICS 2002, 7th European Symposium on Research in Computer Security, Zurich, Switzerland, October 14-16, 2002, Proceedings. Volume 2502 of Lecture Notes in Computer Science, pages 229-243, Springer, 2002. [doi]
Abstract is missing.