Rouached, Sallay, 2012. An Efficient Formal Framework for Intrusion Detection Systems 10.. https://doi.org/10.1016/j.procs.2012.06.132