Proactive Recovery in Intrusion-Tolerant System Based on TTCB | IEEE Conference Publication | IEEE Xplore