Decidability of Safety in Graph-Based Models for Access Control.

Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce

Browse the full ESORICS paper archive.