Coalgebraic modeling of IDS behavior

Perháč, Ján; Mihályi, Daniel

doi:10.1109/informatics.2015.7377833

Cited by 7 publications

(1 citation statement)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We model this behavior by coalgebras where IDS is modelled as a coalgebra for an appropriate polynomial endofunctor defined in the abstract frame of category theory [6]. In [5,7] is presented linear logic [8][9][10] extended with epistemic modalities -epistemic linear logic for formal description how objective knowledge and rational belief can be formulated in resource-oriented formula in Kripke's model of possible worlds through extensional satisfaction relation.…”

Section: Introductionmentioning

confidence: 99%

Between syntax and semantics of resource oriented logic for IDS behavior description

Perháč

Mihályi

Novitzká

2016

J. Appl. Math. Comput. Mech.

View full text Add to dashboard Cite

Abstract. 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.

show abstract