Logical Time and Space of the Network Intrusion

  • Daniel Mihalyi Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Kosice, Letna 9, 042 00 Kosice, Slovak Republic
  • Jan Perhac Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Kosice, Letna 9, 042 00 Kosice, Slovak Republic
  • Patrik Balint Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Kosice, Letna 9, 042 00 Kosice, Slovak Republic

Abstract

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 attacker, and the network environment point of view in the usage of the Ludics theory. 

Published
2017-12-15
How to Cite
MIHALYI, Daniel; PERHAC, Jan; BALINT, Patrik. Logical Time and Space of the Network Intrusion. Studia Universitatis Babeș-Bolyai Informatica, [S.l.], v. 62, n. 2, p. 32-44, dec. 2017. ISSN 2065-9601. Available at: <http://www.cs.ubbcluj.ro/~studia-i/journal/journal/article/view/12>. Date accessed: 29 nov. 2020. doi: https://doi.org/10.24193/subbi.2017.2.03.
Section
Articles