Nasreddine Yousfi, ingénieur au sein de l'équipe-projet Secsi présente OrchIDS, un système de détection d'intrusion en temps réel, basé sur un langage : la logique linéaire temporelle (LTL). En fonction des comportements anormaux repérés dans les systèmes informatiques, Orchids déclenche une alerte.
Corrélations entre systèmes informatiques Rencontres Inria - Industrie 3/4/2012 : "Les technologies du web et de la mobilité au service de l'innovation bancaire et de l'assurance"
|