- Tytuł:
- Between syntax and semantics of resource oriented logic for ids behavior description
- Autorzy:
-
Perhac, J.
Mihalyi, D.
Novitzka, V. - Tematy:
-
intrusion detection system
linear logic
Kripke’s semantics
ludics
bezpieczeństwo sieci
system wykrywania włamań
logika liniowa
semantyka Kripke - Pokaż więcej
- Wydawca:
- Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
- Powiązania:
- https://bibliotekanauki.pl/articles/122478.pdf Link otwiera się w nowym oknie
- 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.
- Dostawca treści:
- Biblioteka Nauki
Artykuł