Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement | IEEE Journals & Magazine | IEEE Xplore