- Tytuł:
- Between syntax and semantics of resource oriented logic for ids behavior description
- Autorzy:
-
Perhac, J.
Mihalyi, D.
Novitzka, V. - Powiązania:
- https://bibliotekanauki.pl/articles/122478.pdf
- Data publikacji:
- 2016
- Wydawca:
- Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
- Tematy:
-
intrusion detection system
linear logic
Kripke’s semantics
ludics
bezpieczeństwo sieci
system wykrywania włamań
logika liniowa
semantyka Kripke - Opis:
- Linear logic appears as a suitable logical system for description of dynamic properties of various network activities in computer science. It disposes with new connectives which create new opportunities to describe properties of real network processes, e.g. parallelism, causality and commutativity of duality between processes. We extend this logic with Aristotelian modalities and we formulate their appropriate model. In our contribution we show how a real network attack can be formalized in this logical system as a polarized game.
- Źródło:
-
Journal of Applied Mathematics and Computational Mechanics; 2016, 15, 2; 105-118
2299-9965 - Pojawia się w:
- Journal of Applied Mathematics and Computational Mechanics
- Dostawca treści:
- Biblioteka Nauki
Artykuł