Coalgebraic modeling of IDS behavior
Ján Perháč, Daniel Mihályi · 2015
This paper deals with formal description of the IDS behavior, through non-traditional resource-oriented logical systems and its modeling in terms of an abstract frame of category theory by coalgebra of polynomial endofunctor over category of the infinite stream of packets.