@InProceedings{	  basin.ea:policy:2010,
  abstract	= {We present an approach to monitoring system policies. As a
		  specification language, we use an expressive fragment of a
		  temporal logic, which can be effectively monitored. We
		  report on case studies in security and compliance
		  monitoring and use these to show the adequacy of our
		  specification language for naturally expressing complex,
		  realistic policies and the practical feasibility of
		  monitoring these policies using our monitoring
		  algorithm.This work was partially supported by the Nokia
		  Research Center, Switzerland.},
  author	= {David Basin and Felix Klaedtke and and Samuel M\"uller},
  booktitle	= {22nd International Conference, CAV 2010, Edinburgh, UK,
		  July 15-19, 2010},
  copyright	= {Springer},
  editor	= {Tayssir Touili and Byron Cook and Paul Jackson},
  month		= 7,
  pages		= {1--18},
  publisher	= {Springer Berlin / Heidelberg},
  series	= {LNCS},
  title		= {Policy Monitoring in First-Order Temporal Logic},
  url		= {http://www.springerlink.com/content/978-3-642-14294-9},
  volume	= {6174/2010},
  year		= 2010
}