Enforcing Datalog Policies with Service Automata on Distributed Version Control Systems

Dominic Scheurer
January, 2013
Cite
Type
Thesis