Integrating Information Flow Analysis in Unifying Theories of Programming

Chunyan Mu, Guoqiang Li

Research output: Chapter in Book/Report/Conference proceedingConference contribution

30 Downloads (Pure)

Abstract

This paper presents a formal approach for modelling and reasoning about information flow control in software systems under Hoare and He's Unifying Theories of Programming (UTP). We investigate the problem of integrating information flow control into system design in a unified semantic setting. Our approach can therefore treat information flow analysis and control in various families of specification languages and programming paradigms in a more general way. In addition, we formalise the link between classes of predicates as a paired function which maps set of the predicates from one class into set of the predicates from the other with a concern of flow security preservation. The proposed flow-sensitive combined theories of multiple level classes of predicates can be applied to ensure flow security in different paradigms under stepwise development.
Original languageEnglish
Title of host publication 2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing (PRDC)
PublisherIEEE
Pages67-76
ISBN (Print)9781665424769
DOIs
Publication statusPublished - 12 Jan 2022
Event26th IEEE Pacific Rim International Symposium on Dependable Computing - Perth, Australia
Duration: 1 Dec 20211 Dec 2021

Conference

Conference26th IEEE Pacific Rim International Symposium on Dependable Computing
Abbreviated titlePRDC
Country/TerritoryAustralia
CityPerth
Period1/12/211/12/21

Fingerprint

Dive into the research topics of 'Integrating Information Flow Analysis in Unifying Theories of Programming'. Together they form a unique fingerprint.

Cite this