Synthesis of insertion functions for enforcement of opacity security properties

Yi-Chin Wu, Stéphane Lafortune. Synthesis of insertion functions for enforcement of opacity security properties. Automatica, 50(5):1336-1348, 2014. [doi]

Abstract

Abstract is missing.