Characterizing intrusion tolerant systems using a state transition model | IEEE Conference Publication | IEEE Xplore