Formal analysis of intrusion detection systems for high speed networks

Mohsen Rouached^*, Hassen Sallay, Ouissem Ben Fredj, Adel Ammar, Khaled Al-Shalfan, Majdi Ben Saad

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution