David A. Basin, Felix Klaedtke, Samuel Müller. Monitoring security policies with metric first-order temporal logic. In James B. D. Joshi, Barbara Carminati, editors, SACMAT 2010, 15th ACM Symposium on Access Control Models and Technologies, Pittsburgh, Pennsylvania, USA, June 9-11, 2010, Proceedings. pages 23-34, ACM, 2010. [doi]
Abstract is missing.