A game-theoretic approach to modeling attacks and defenses of smart grids at three levels. (March 2020)