@InProceedings{Basin_etal:monitoring_security_policies,
  author = 	 {David Basin and Felix Klaedtke and Samuel M\"uller},
  title = 	 {Monitoring Security Policies with Metric First-order Temporal Logic},
  booktitle =    {Proceedings of the 15th ACM Symposium on 
                  Access Control Models and Technologies (SACMAT'10)},
  pages = 	 {23--33},
  year = 	 {2010},
  publisher =    {ACM Press},
}