Mu, ChunyanClark, David2023-08-042023-08-042022-06-28Mu, C & Clark, D 2022 'Quantitative Verification of Opacity Properties in Security Systems' ArXiv. https://doi.org/10.48550/arXiv.2206.14317ArXiv: http://arxiv.org/abs/2206.14317v1ORCID: /0000-0002-2988-6939/work/140031753https://hdl.handle.net/2164/2137823330014engopacitylogicverificationQA75 Electronic computers. Computer scienceQA75Preprint10.48550/arXiv.2206.14317