Quantitative Access Control Policy Analysis and Repair Using Model Counting Subtitle
By : Hetal Naidu
Book Info