Cyber-security analysis of smart grid SCADA systems with game models