System Support for Strong Accountability