A Formal Study of Collaborative Access Control in Distributed Datalog.

Serge Abiteboul, Pierre Bourhis, Victor Vianu

Browse the full ICDT paper archive.