Visible to the public Semantic Security Analysis of SCADA Networks to Detect Malicious Control Commands in Power Grids