Modeling security policies for mitigating the risk of load altering attacks on smart grid systems | IEEE Conference Publication | IEEE Xplore