Intrusion detection system episteme
Abstract: In our paper we investigate the possibilities of modal logics in coalgebras of program systems. We deal with a simplified model of an intrusion detection system. We model an intrusion detection system as a coalgebra and construct its Kripke model of coalgebraic modal linear logic using powerset endofunctor. In this model we present our idea how a fragment of epistemic linear logic can provide knowledge and belief of intrusion attempt.
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Intrusion detection system episteme ; volume:2 ; number:3 ; year:2012 ; pages:214-221 ; extent:8
Open computer science ; 2, Heft 3 (2012), 214-221 (gesamt 8)
- Creator
-
Mihályi, Daniel
Novitzká, Valerie
Ľaľová, Martina
- DOI
-
10.2478/s13537-012-0014-8
- URN
-
urn:nbn:de:101:1-2410301510138.644783105157
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:30 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Mihályi, Daniel
- Novitzká, Valerie
- Ľaľová, Martina
Other Objects (12)
Oblivious network intrusion detection systems
KIDS : Keyed Intrusion Detection System
![Intrusion-detection-Systeme : [Spurensuche im Internet]](/assets/placeholder/searchResultMediaNoDigitisedMedia.png)
Intrusion-detection-Systeme : [Spurensuche im Internet]
Network intrusion detection
Ein föderiertes Intrusion-detection-System für Grids
Intrusion detection system for controller area network
Hybrid intrusion detection system using blockchain framework
Quantum intrusion detection system using outlier analysis
On collaborative intrusion detection
Community-Based Intrusion Detection
On Collaborative Intrusion Detection
Application-aware intrusion detection
Oblivious network intrusion detection systems
KIDS : Keyed Intrusion Detection System
Intrusion-detection-Systeme : [Spurensuche im Internet]
Network intrusion detection
Ein föderiertes Intrusion-detection-System für Grids
Intrusion detection system for controller area network
Hybrid intrusion detection system using blockchain framework
Quantum intrusion detection system using outlier analysis
On collaborative intrusion detection
Community-Based Intrusion Detection
On Collaborative Intrusion Detection
Application-aware intrusion detection
Oblivious network intrusion detection systems
KIDS : Keyed Intrusion Detection System
Intrusion-detection-Systeme : [Spurensuche im Internet]
Network intrusion detection
Ein föderiertes Intrusion-detection-System für Grids
Intrusion detection system for controller area network
Hybrid intrusion detection system using blockchain framework
Quantum intrusion detection system using outlier analysis
On collaborative intrusion detection
Community-Based Intrusion Detection
On Collaborative Intrusion Detection