Resource oriented BDI architecture for IDS
Ján Perháč, Daniel Mihályi, Lukas Matas · 2017
In this work, we propose a resource-oriented architecture of a rational agent for network intrusion detection. We have designed this architecture based on the well-known IRMA architecture. The proposed architecture describes the behavior of a rational agent after detecting a network intrusion. Then it describes the creation of countermeasures to ward off detected threats. Examples are created based on the proposed architecture, describing the implementation of a rational agent detection. We have described these examples by proposed linear BDI logic behavioral formulae, that have been proven in Gentzen sequent calculus.