Security Evaluation of an Intrusion Tolerant System with MRSPNs | IEEE Conference Publication | IEEE Xplore