@techreport{RISC5057,author = {Wolfgang Schreiner and Temur Kutsia and Michael Krieger and Ahmad Bashar and Helmut Otto and Martin Rummerstorfer},
title = {{Monitoring Network Traffic by Predicate Logic}},
language = {english},
abstract = {We present an approach to the runtime monitoring of network traffic for the
violation of properties specified in classical predicate logic. The properties
are expressed by quantified formulas which are interpreted over sequences of
messages, i.e., the quantified variable denotes a position in the sequence.
Using the ordering of stream positions and nested quantification, complex
properties can be formulated. To raise the level of abstraction, we allow the
definition of a higher-level stream from a lower-level stream by a notation
analogous to classical set builders. A translator generates from the
specification an executable monitor; a static analysis determines whether the
generated monitor only requires a finite number of past messages to be
preserved.},
year = {2014},
month = {September},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria},
keywords = {runtime verification, predicate logic, network security},
sponsor = {Supported by the Austrian Research Promotion Agency (FFG) in the frame of the BRIDGE program by the project 832207 \enquote{LogicGuard}},
length = {15}
}