Intrusion detection system episteme
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
De Gruyter
2012-10-01
|
| Series: | Open Computer Science |
| Subjects: | |
| Online Access: | https://doi.org/10.2478/s13537-012-0014-8 |
| _version_ | 1818366400547258368 |
|---|---|
| author | Mihályi Daniel Novitzká Valerie Ľaľová Martina |
| author_facet | Mihályi Daniel Novitzká Valerie Ľaľová Martina |
| author_sort | Mihályi Daniel |
| collection | DOAJ |
| first_indexed | 2024-12-13T22:35:33Z |
| format | Article |
| id | doaj.art-74e185a9b745455998db30cf95edb2ee |
| institution | Directory Open Access Journal |
| issn | 2299-1093 |
| language | English |
| last_indexed | 2024-12-13T22:35:33Z |
| publishDate | 2012-10-01 |
| publisher | De Gruyter |
| record_format | Article |
| series | Open Computer Science |
| spelling | doaj.art-74e185a9b745455998db30cf95edb2ee2022-12-21T23:29:00ZengDe GruyterOpen Computer Science2299-10932012-10-012321422110.2478/s13537-012-0014-8s13537-012-0014-8Intrusion detection system epistemeMihályi Daniel0Novitzká Valerie1Ľaľová Martina2Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Košice, Letná 9, 04200, Košice, SlovakiaDepartment of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Košice, Letná 9, 04200, Košice, SlovakiaDepartment of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Košice, Letná 9, 04200, Košice, Slovakiahttps://doi.org/10.2478/s13537-012-0014-8coalgebramodal logicepistemic logiclinear logickripke model |
| spellingShingle | Mihályi Daniel Novitzká Valerie Ľaľová Martina Intrusion detection system episteme Open Computer Science coalgebra modal logic epistemic logic linear logic kripke model |
| title | Intrusion detection system episteme |
| title_full | Intrusion detection system episteme |
| title_fullStr | Intrusion detection system episteme |
| title_full_unstemmed | Intrusion detection system episteme |
| title_short | Intrusion detection system episteme |
| title_sort | intrusion detection system episteme |
| topic | coalgebra modal logic epistemic logic linear logic kripke model |
| url | https://doi.org/10.2478/s13537-012-0014-8 |
| work_keys_str_mv | AT mihalyidaniel intrusiondetectionsystemepisteme AT novitzkavalerie intrusiondetectionsystemepisteme AT lalovamartina intrusiondetectionsystemepisteme |