Architectural Access Control Policy Refinement and Verification under Uncertainty (short paper).

Sebastian Hahner

Browse the full ECSA paper archive.