Linux Security Enhancement Through Log Files Distribution Specified by Epistemic Linear Logic
Ján Perháč, Daniel Mihályi, Lukas Relovsky · 2018
Security of Linux systems is important field of research. One of the fundamental securing principle is way how to save log files effectively. In this paper, we present its possible enhancement how to obtain knowledge from log files distribution. We specify it by proven epistemic resource oriented logical formulas. We design an appropriate laboratory environment, where we configure hosts to log files distribution between each.