Logical Time and Space of the Network Intrusion

Daniel Mihalyi, Jan Perhac, Patrik Balint
2017 Studia Universitatis Babes-Bolyai: Series Informatica  
Nowadays, one of the biggest threats for modern computer networks are the cyber attacks. One of the possible ways how to increase the level of computer networks security is a deployment of a network intrusion detection system. This paper deals with the behavior of the network intrusion detection system during specific network intrusion. We formally describe this network intrusion by the modal linear logic formula. Based on this formula, logical space and logical time is expressed from the
more » ... er, and the network environment point of view in the usage of the Ludics theory.
doi:10.24193/subbi.2017.2.03 fatcat:rfts6yv725gn5mn4lqnvhbquea