Experimental Validation of the Attack-Detection Capability of Encrypted Control Systems Using Man-in-the-Middle Attacks | IEEE Journals & Magazine | IEEE Xplore