Critical Observability of Finite State Machines Under Attacks.

Naeimeh Fakhr Shamloo Elena De Santis Maria Domenica Di Benedetto

Published in: MED (2021)

Keyphrases

finite state machines
model checking
finite state automata
hidden markov models
semi automatic
countermeasures
security mechanisms
pattern matching
regular expressions
security protocols
dos attacks
partial observability
regular languages
malicious attacks
mutation testing