Decidability of Safety in Graph-Based Models for Access Control

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]

Authors

Manuel Koch

This author has not been identified. Look up 'Manuel Koch' in Google

Luigi V. Mancini

This author has not been identified. Look up 'Luigi V. Mancini' in Google

Francesco Parisi-Presicce

This author has not been identified. Look up 'Francesco Parisi-Presicce' in Google