Stabilization,Safety,andSecurityofDistributedSystems