Tableaux Methods for Access Control in Distributed Systems.

Fabio Massacci

Browse the full TABLEAUX paper archive.