Vol-2977⫷ Vol-2978 ⫸Vol-2979
urn:nbn:de:0074-2978-0


Vol-2978/ds-preface⫷Vol-2978/ds-paper87⫸Vol-2978/ds-paper91
Sebastian Hahner

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