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 94 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 60 extracted citations

Fine-Grained Access Control via Policy-Carrying Data

ACM Trans. Internet Techn. • 2018
View 3 Excerpts
Highly Influenced

Policy modeling and compliance verification in enterprise software systems: A survey

2012 IEEE 6th International Workshop on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems (MESOCA) • 2012
View 4 Excerpts
Highly Influenced

LUCON: Data Flow Control for Message-Based IoT Systems

2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/ 12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE) • 2018
View 1 Excerpt

94 Citations

01020'11'13'15'17'19
Citations per Year
Semantic Scholar estimates that this publication has 94 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…