Sciweavers

CAV
2010
Springer

Policy Monitoring in First-Order Temporal Logic

13 years 7 months ago
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.
David A. Basin, Felix Klaedtke, Samuel Müller
Added 15 Aug 2010
Updated 15 Aug 2010
Type Conference
Year 2010
Where CAV
Authors David A. Basin, Felix Klaedtke, Samuel Müller
Comments (0)