The interpretation of a time-quantified formula as an automaton.

LogicGuard II

The Optimized Checking of Time-Quantified Logic Formulas with Applications in Computer Security

The project "LogicGuard II" sponsored by the FFG BRIDGE program runs from October 2014 to March 2017 as a continuation of the LogicGuard project. It is jointly pursued by three partners:

RISC Institute
RISC Software GmbH
Associate researcher:

The project pursues research on a new class of security solutions whose core is a formal language based on classical predicate logic. In this language one can specify security properties of streams of messages transmitted over the network. The goal is to automatically translate such a specification into a program that efficiently monitors the network for a violation of the properties and reacts appropriately (e.g., by triggering an alarm), if the property is violated.

See also this introductory paper for the overall results of the previous project.


Reports and Publications

Reports and Publications in LogicGuard I

Wolfgang Schreiner
Last modified: Tue Sep 30 17:21:14 CEST 2014