|
|
|
|
|
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:
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.
