A formal model for verifying stealthy attacks on state estimation in power grids

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.