Verifying Opacity Properties in Security Systems
Date
2022-03-01
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Citation
Mu, C & Clark, D 2022, 'Verifying Opacity Properties in Security Systems', IEEE Transactions on Dependable and Secure Computing, vol. 20, no. 2, pp. 1450-1460. https://doi.org/10.1109/TDSC.2022.3155323