Policy Monitoring in First-Order Temporal Logic

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.

• Type: Conference
• Year: 2010
• Where: CAV
• Authors: David A. Basin, Felix Klaedtke, Samuel Müller
• Keywords: CAV 2010, Expressive Fragment, Hardware, Specification Language, Temporal Logic