%0 Conference Paper %1 conf/smartgridcomm/RahmanAR13 %A Rahman, Mohammad Ashiqur %A Al-Shaer, Ehab %A Rahman, Md. Ashfaqur %B SmartGridComm %D 2013 %I IEEE %K dblp %P 414-419 %T A formal model for verifying stealthy attacks on state estimation in power grids. %U http://dblp.uni-trier.de/db/conf/smartgridcomm/smartgridcomm2013.html#RahmanAR13

@inproceedings{conf/smartgridcomm/RahmanAR13, added-at = {2014-01-12T00:00:00.000+0100}, author = {Rahman, Mohammad Ashiqur and Al-Shaer, Ehab and Rahman, Md. Ashfaqur}, biburl = {https://www.bibsonomy.org/bibtex/265a80260db54c4576766d2caafefd3aa/dblp}, booktitle = {SmartGridComm}, crossref = {conf/smartgridcomm/2013}, ee = {http://dx.doi.org/10.1109/SmartGridComm.2013.6687993}, interhash = {aec83b28790710100c3fe4e7c38a0df9}, intrahash = {65a80260db54c4576766d2caafefd3aa}, keywords = {dblp}, pages = {414-419}, publisher = {IEEE}, timestamp = {2014-01-14T15:54:58.000+0100}, title = {A formal model for verifying stealthy attacks on state estimation in power grids.}, url = {http://dblp.uni-trier.de/db/conf/smartgridcomm/smartgridcomm2013.html#RahmanAR13}, year = 2013 }