Verifiable Security Policies for Distributed Systems.

Felix A. Wolf, Peter Mller

Browse the full CCS paper archive.