Policy Monitoring in First-Order Temporal Logic

@inproceedings{Basin2010PolicyMI,
  title={Policy Monitoring in First-Order Temporal Logic},
  author={David A. Basin and Felix Klaedtke and Samuel M{\"u}ller},
  booktitle={CAV},
  year={2010}
}
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. 
Highly Cited
This paper has 93 citations. REVIEW CITATIONS

Topics

Statistics

01020201020112012201320142015201620172018
Citations per Year

93 Citations

Semantic Scholar estimates that this publication has 93 citations based on the available data.

See our FAQ for additional information.