Mu, ChunyanClark, David2023-05-082023-05-082022-03-01Mu, 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.3155323ORCID: /0000-0002-2988-6939/work/134750707https://hdl.handle.net/2164/2067611750102349128engNo substantive link to the University of AberdeenopacitylogicsecurityverificationQA75 Electronic computers. Computer scienceGeneral Computer ScienceQA75Journal article10.1109/TDSC.2022.3155323