Security Evaluation of an Intrusion Tolerant System with MRSPNs. - Ryutaro Fujimoto; Hiroyuki Okamura; Tadashi Dohi (ARES, 2009)