"A Language-Based Approach to Secure Quorum Replication."

Lantian Zheng, Andrew C. Myers (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics