Enforcing Information Flow Security Properties in Cyber-Physical Systems: A Generalized Framework Based on Compensation | IEEE Conference Publication | IEEE Xplore