Necessary and Sufficient Conditions for Security of Hidden Markov Boolean Control Networks Under Shifting Attacks | IEEE Journals & Magazine | IEEE Xplore