TY  - RPRT
TI  - Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
AU  - Sahar Mohajerani
AU  - Yiding Ji
AU  - Stephane Lafortune
PY  - 2019
UR  - https://arxiv.org/abs/1910.00417
ID  - 1910.00417
ER  -