Attack Detection and Prevention for Encrypted Control Systems by Application of Switching-Key Management | IEEE Conference Publication | IEEE Xplore