Physical Authentication of Control Systems: Designing Watermarked Control Inputs to Detect Counterfeit Sensor Outputs | IEEE Journals & Magazine | IEEE Xplore