Formal Model of IDS Based on BDI Logic
| Autor: | Jan Perhac, Valerie Novitzká, William Steingartner, Zuzana Bilanova |
|---|---|
| Rok vydání: | 2021 |
| Předmět: |
Computer science
Network security business.industry General Mathematics Coalgebra BDI logic linear logic IDS category theory coalgebra Intrusion detection system Security policy Computer security computer.software_genre Linear logic Software deployment QA1-939 Computer Science (miscellaneous) Logical data model State (computer science) business Engineering (miscellaneous) computer Mathematics |
| Zdroj: | Mathematics, Vol 9, Iss 2290, p 2290 (2021) Mathematics; Volume 9; Issue 18; Pages: 2290 |
| ISSN: | 2227-7390 |
| DOI: | 10.3390/math9182290 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
| Nepřihlášeným uživatelům se plný text nezobrazuje | K zobrazení výsledku je třeba se přihlásit. |