RISC JKU
  • @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}
    }