Coalgebraic modeling of IDS behavior

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.