Formal Model of IDS Based on BDI Logic

Computer network security is an important aspect of computer science. Many researchers are trying to increase security using different methods, technologies, or tools. One of the most common practices is the deployment of an Intrusion Detection System (IDS). The current state of IDS brings only pass...

Full description

Bibliographic Details
Main Authors: Ján Perháč, Valerie Novitzká, William Steingartner, Zuzana Bilanová
Format: Article
Language:English
Published: MDPI AG 2021-09-01
Series:Mathematics
Subjects:
Online Access:https://www.mdpi.com/2227-7390/9/18/2290