Mohammad Ashiqur Rahman, Ehab Al-Shaer, Md. Ashfaqur Rahman. A formal model for verifying stealthy attacks on state estimation in power grids. In IEEE Fourth International Conference on Smart Grid Communications, SmartGridComm 2013, Vancouver, BC, Canada, October 21-24, 2013. pages 414-419, IEEE, 2013. [doi]
Abstract is missing.