Visible to the public A Verifiable Framework for Cyber-Physical Attacks and Countermeasures in a Resilient Electric Power Grid