Examens corriges

Formal modeling of intrusion detection systems

In this thesis, we propose a stateful approach to iden- tify complex attacks. We consider the hierarchical state-transition diagram approach, ...



Télécharger