Refresh Instead of Revoke Enhances Safety and Availability: A Formal Analysis.

Mehrnoosh Shakarami, Ravi S. Sandhu

Browse the full DBSEC paper archive.