Show simple item record

Integrating Information Flow Analysis in Unifying Theories of Programming

dc.contributor.authorMu, Chunyan
dc.contributor.authorLi, Guoqiang
dc.date.accessioned2023-12-04T00:01:19Z
dc.date.available2023-12-04T00:01:19Z
dc.date.issued2022-01-12
dc.identifier225682540
dc.identifierb05f2818-5c66-47fe-b259-19a8c7191c09
dc.identifier.citationMu , C & Li , G 2022 , Integrating Information Flow Analysis in Unifying Theories of Programming . in 2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing . Proceedings (IEEE Pacific Rim International Symposium on Dependable Computing) , pp. 67-76 , IEEE 26th Pacific Rim International Symposium on Dependable Computing , Perth , Australia , 1/12/21 . https://doi.org/10.1109/PRDC53464.2021.00018en
dc.identifier.citationconferenceen
dc.identifier.isbn9781665424776
dc.identifier.isbn9781665424769
dc.identifier.issn1555-094X
dc.identifier.otherORCID: /0000-0002-2988-6939/work/140426202
dc.identifier.urihttp://aura-test.abdn.ac.uk/handle/2164/19988
dc.descriptionThis research is supported by the China National R&D Key Research Program (2019YFB1705703) and the In-terdisciplinary Program of SJTU, Shanghai, China (No. YG2019ZDA07).en
dc.format.extent10
dc.format.extent211258
dc.language.isoeng
dc.relation.ispartof2021 IEEE 26th Pacific Rim International Symposium on Dependable Computingen
dc.relation.ispartofseriesProceedings (IEEE Pacific Rim International Symposium on Dependable Computing)en
dc.subjectQA75 Electronic computers. Computer scienceen
dc.subject.lccQA75en
dc.titleIntegrating Information Flow Analysis in Unifying Theories of Programmingen
dc.typeConference itemen
dc.contributor.institutionUniversity of Aberdeen.Cybersecurity and Privacyen
dc.contributor.institutionUniversity of Aberdeen.Computing Scienceen
dc.identifier.doihttps://doi.org/10.1109/PRDC53464.2021.00018
dc.date.embargoedUntil2023-12-04


Files in this item

Thumbnail
Name:
flow_utp.pdf
Size:
206.3Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record