This is not the latest version of this item. The latest version can be found at: https://www.research-collection.ethz.ch/handle/20.500.11850/304245
Open in viewer
Basin, David A.
- Conference Paper
Open in viewer
Rights / licenseIn Copyright - Non-Commercial Use Permitted
We have previously presented a monitoring algorithm for compliance checking of policies formalized in an expressive metric first-order temporal logic. We explain here the steps required to go from the original algorithm to a working infrastructure capable of monitoring an existing distributed application producing millions of log entries per day. The main challenge is to correctly and efficiently monitor the trace interleavings obtained by totally ordering actions that happen at the same time. We provide solutions based on formula transformations and monitoring representative traces. We also report, for the first time, on statistics on the performance of our monitor on real-world data, providing evidence of its suitability for nontrivial applications Show more
Book title18th International Symposium on Temporal Representation and Reasoning (TIME) 2011 : 12-14 September 2011, Lübeck, Germany
Pages / Article No.
SubjectUsage-control policy; Metric first-order temporal logic; Trace interleaving; Policy compliance checking; Compliance checking; Totally ordering action
Organisational unit03634 - Basin, David / Basin, David
02150 - Dep. Informatik / Dep. of Computer Science
MoreShow all metadata