Secure Cyber-Physical Systems for Smart Cities