Dynamic Attack Detection in Cyber-Physical Systems With Side Initial State Information | IEEE Journals & Magazine | IEEE Xplore