Stabilization, Safety, And Security Of Distributed Systems by