We have defined in this paper, a new kind of stochastic reward network (SRN) by introducing matrix attributes and fuzzy parameters of timed transitions and of rewriting rules, called MFRSRN, allowing the dynamic marking-dependent reconfiguration of these models. Moreover, this formalism offers a descriptive language that allows managing the compact representations the model's size through the introduction of matrix structuring and rewriting mechanisms of the compositional model's behavior. As an example of application, we show how the proposed formalism can be applied to performance modeling of network “Defense in Breadth” system which includes the combination of firewall, IDS, honeypot and moving target defense (MTD) techniques, taking into account the probabilistic and epistemic uncertainty aspects.

În această lucrare este definit un nou tip de reţea Petri stocastică cu recompense (SRN) cu atribute matriceale și parametri fuzzy ai tranziţiilor temporizate și celor ai regulilor de rescriere, denumită MFRSRN, care permite reconfigurarea dinamică, dependentă de marcajul current al acestor modele. Mai mult, acest formalism oferă un limbaj descriptiv care permite de a gestiona reprezentari compacte a dimensiunii modelului prin introducerea unor mecanisme de rescriere a structurii și a matricei comportamentului modelului compoziţional. Ca exemplu de aplicare, arătăm modul în care formalismul propus poate fi folosit la modelarea și evaluarea performanţei „Apărare în Lărgime” al sistemului de securitate reţea, care include o combinaţie de firewall, sistem de detectare a intrușilor (IDS), honeypot și tehnici de mutare a ţintei de apărare (MTD), ţinând cont de aspecte probabilistice și a celor de incertitudine epistemică.