Using non-deterministic finite automaton to research intrusion tolerant system | IEEE Conference Publication | IEEE Xplore