Abstract:



Policy Monitoring in First-Order Temporal Logic

David Basin and Felix Klaedtke and and Samuel Müller




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.