Monitoring security policies with metric first-order temporal logic.

David A. Basin, Felix Klaedtke, Samuel Mller

Browse the full SACMAT paper archive.