Efficient Mining of Temporal Safety Properties for Intrusion Detection in Industrial Control Systems
Autor: | Koucham, Oualid, Mocanu, Stéphane, Hiet, Guillaume, Thiriet, Jean-Marc, Majorczyk, Frédéric |
---|---|
Zdroj: | In IFAC PapersOnLine 2018 51(24):1043-1050 |
Databáze: | ScienceDirect |
Externí odkaz: |