Enforcement and validation (at runtime) of various notions of opacity.

Published in: Discret. Event Dyn. Syst. (2015)

Keyphrases