Privacy Enforcement Strategies in Discrete Event Systems via Observation Modification and Supervisory Control | IEEE Conference Publication | IEEE Xplore