A Data-Driven Framework for Verified Detection of Replay Attacks on Industrial Control Systems | IEEE Journals & Magazine | IEEE Xplore