Text this: Finite automaton intrusion tolerance system model based on Markov