Towards Run-Time Verification in Access Control

Fatih Turkmen, Eunjin Jung, Bruno Crispo. Towards Run-Time Verification in Access Control. In POLICY 2011, IEEE International Symposium on Policies for Distributed Systems and Networks, Pisa, Italy, 6-8 June 2011. pages 25-32, IEEE Computer Society, 2011. [doi]

Abstract

Abstract is missing.