RITAS: Services for Randomized Intrusion Tolerance