Integrating Information Flow Analysis in Unifying Theories of Programming

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....

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings (IEEE Pacific Rim International Symposium on Dependable Computing) s. 67 - 76
Hlavní autoři:	Mu, Chunyan, Li, Guoqiang
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.12.2021
Témata:	Cognition Control systems formal method information flow language-based security Probabilistic logic Programming refinement Semantics Software systems Specification languages UTP
ISSN:	2473-3105
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!