University of Aberdeen logo

AURA - Aberdeen University Research Archive

 

Verifying Opacity Properties in Security Systems

Simple item page
dc.contributor.authorMu, Chunyan
dc.contributor.authorClark, David
dc.contributor.institutionUniversity of Aberdeen.Cybersecurity and Privacyen
dc.contributor.institutionUniversity of Aberdeen.Computing Scienceen
dc.date.accessioned2023-05-08T09:02:01Z
dc.date.available2023-05-08T09:02:01Z
dc.date.issued2022-03-01
dc.description.statusPeer revieweden
dc.format.extent11
dc.format.extent750102
dc.format.extent349128
dc.identifier225681855
dc.identifier7b1a38c5-2e4b-4b10-8f02-9203ae736ade
dc.identifier85125736893
dc.identifier.citationMu, 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.3155323en
dc.identifier.doi10.1109/TDSC.2022.3155323
dc.identifier.iss2en
dc.identifier.otherORCID: /0000-0002-2988-6939/work/134750707
dc.identifier.urihttps://hdl.handle.net/2164/20676
dc.identifier.vol20en
dc.language.isoeng
dc.relation.ispartofIEEE Transactions on Dependable and Secure Computingen
dc.subjectopacityen
dc.subjectlogicen
dc.subjectsecurityen
dc.subjectverificationen
dc.subjectQA75 Electronic computers. Computer scienceen
dc.subjectGeneral Computer Scienceen
dc.subject.lccQA75en
dc.titleVerifying Opacity Properties in Security Systemsen
dc.typeJournal articleen

Files

Original bundle

Now showing 1 - 2 of 2
Thumbnail Image
Name:
main.pdf
Size:
340.95 KB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
Mu_etal_IEEETDSC_Verifying_Opacity_Properties_AAM.pdf
Size:
732.52 KB
Format:
Adobe Portable Document Format
Download

Collections

All research