TY  - RPRT
TI  - A General Language-Based Framework for Specifying and Verifying Notions of Opacity
AU  - Andrew Wintenberg
AU  - Matthew Blischke
AU  - Stéphane Lafortune
AU  - Necmiye Ozay
PY  - 2021
DO  - 10.1007/s10626-021-00357-x
UR  - https://arxiv.org/abs/2103.10501
ID  - 2103.10501
ER  -