Yliès Falcone, Hervé Marchand. Enforcement and validation (at runtime) of various notions of opacity. Discrete Event Dynamic Systems, 25(4):531-570, 2015. [doi]
@article{FalconeM15,
title = {Enforcement and validation (at runtime) of various notions of opacity},
author = {Yliès Falcone and Hervé Marchand},
year = {2015},
doi = {10.1007/s10626-014-0196-4},
url = {http://dx.doi.org/10.1007/s10626-014-0196-4},
researchr = {https://researchr.org/publication/FalconeM15},
cites = {0},
citedby = {0},
journal = {Discrete Event Dynamic Systems},
volume = {25},
number = {4},
pages = {531-570},
}