Pierre Bourhis

A Formal Study of Collaborative Access Control in Distributed Datalog