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...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2021-09-01
|
| Series: | Mathematics |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2227-7390/9/18/2290 |
| _version_ | 1797518299028783104 |
|---|---|
| author | Ján Perháč Valerie Novitzká William Steingartner Zuzana Bilanová |
| author_facet | Ján Perháč Valerie Novitzká William Steingartner Zuzana Bilanová |
| author_sort | Ján Perháč |
| collection | DOAJ |
| description | 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 passive protection from network intrusions, i.e., IDS can only detect possible intrusions. Due to that, the manual intervention of an administrator is needed. In our paper, we present a logical model of an active IDS based on category theory, coalgebras, linear logic, and Belief–Desire–Intention (BDI) logic. Such an IDS can not only detect intrusions but also autonomously react to them according to a defined security policy. We demonstrate our approach on a motivating example with real network intrusions. |
| first_indexed | 2024-03-10T07:27:55Z |
| format | Article |
| id | doaj.art-4a58a3b0ef434cc3b5ce2fdca91248a0 |
| institution | Directory Open Access Journal |
| issn | 2227-7390 |
| language | English |
| last_indexed | 2024-03-10T07:27:55Z |
| publishDate | 2021-09-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Mathematics |
| spelling | doaj.art-4a58a3b0ef434cc3b5ce2fdca91248a02023-11-22T14:06:11ZengMDPI AGMathematics2227-73902021-09-01918229010.3390/math9182290Formal Model of IDS Based on BDI LogicJán Perháč0Valerie Novitzká1William Steingartner2Zuzana Bilanová3Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Košice, Letná 9, 042 00 Košice, SlovakiaDepartment of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Košice, Letná 9, 042 00 Košice, SlovakiaDepartment of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Košice, Letná 9, 042 00 Košice, SlovakiaDepartment of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Košice, Letná 9, 042 00 Košice, SlovakiaComputer 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 passive protection from network intrusions, i.e., IDS can only detect possible intrusions. Due to that, the manual intervention of an administrator is needed. In our paper, we present a logical model of an active IDS based on category theory, coalgebras, linear logic, and Belief–Desire–Intention (BDI) logic. Such an IDS can not only detect intrusions but also autonomously react to them according to a defined security policy. We demonstrate our approach on a motivating example with real network intrusions.https://www.mdpi.com/2227-7390/9/18/2290BDI logiclinear logicIDScategory theorycoalgebra |
| spellingShingle | Ján Perháč Valerie Novitzká William Steingartner Zuzana Bilanová Formal Model of IDS Based on BDI Logic Mathematics BDI logic linear logic IDS category theory coalgebra |
| title | Formal Model of IDS Based on BDI Logic |
| title_full | Formal Model of IDS Based on BDI Logic |
| title_fullStr | Formal Model of IDS Based on BDI Logic |
| title_full_unstemmed | Formal Model of IDS Based on BDI Logic |
| title_short | Formal Model of IDS Based on BDI Logic |
| title_sort | formal model of ids based on bdi logic |
| topic | BDI logic linear logic IDS category theory coalgebra |
| url | https://www.mdpi.com/2227-7390/9/18/2290 |
| work_keys_str_mv | AT janperhac formalmodelofidsbasedonbdilogic AT valerienovitzka formalmodelofidsbasedonbdilogic AT williamsteingartner formalmodelofidsbasedonbdilogic AT zuzanabilanova formalmodelofidsbasedonbdilogic |