Distribution of Linux Log Files Described by Predicate Linear Logic Formula

Linux operation systems' security is very complex and actual area of research. In this paper, we propose a solution for distribution of log files between servers. We create simple laboratory environment, where we design and implement unique configuration for distribution of log files, and we demonstrate our approach by a simulation of simple intrusion, which is recorded in the appropriate log file, that will be distributed. Then, we specify this process by suitable logical system's formulas, and we prove then using Gentzen's sequent calculus.