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: | 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 |
Similar Items
-
Elimination of network intrusions via a resource oriented BDI architecture
by: Perháč Ján, et al.
Published: (2018-11-01) -
Intrusion detection system episteme
by: Mihályi Daniel, et al.
Published: (2012-10-01) -
Sequent calculus usage for BDI agent implementation
by: Adomas Birstunas
Published: (2023-09-01) -
A Novel Categorical Approach to Semantics of Relational First-Order Logic
by: Wolfgang Schreiner, et al.
Published: (2020-09-01) -
LOGICAL TIME AND SPACE OF THE NETWORK INTRUSION
by: Daniel MIHÁLYI, et al.
Published: (2017-12-01)