Secure Control of Cyber-Physical Systems