Moving Target Defense for Distributed Systems