Quantitative Access Control Policy Analysis and Repair Using Model Counting

William Eiers. Quantitative Access Control Policy Analysis and Repair Using Model Counting. PhD thesis, University of California, Santa Barbara, USA, 2023. [doi]

Abstract

Abstract is missing.