Unifying theories of confidentiality

DOI10.1007/978-3-642-16690-7_5MaRDI QIDQ3055741zbMATH OpenOpenAlexFDO

Authors Michael J. Banks, Jeremy L. Jacob

Publication date 9 November 2010

Published in Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-16690-7_5

zbMATH Keywords

computer securityconfidentiality propertiesconfidentiality-preserving refinementinformation flowMAKSUTP

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• On integrating confidentiality and functionality in a formal method
• Preserving Secrecy Under Refinement
• Integrated Formal Methods
• Mechanical reasoning about families of UTP theories
• A Theory of Pointers for the UTP

Cited in

(5)

• CoCon: a conference management system with formally verified document confidentiality
• Long term confidentiality: a survey
• On modelling user observations in the UTP
• Abstractions preserving parameter confidentiality
• On integrating confidentiality and functionality in a formal method

This page was built for publication: Unifying theories of confidentiality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3055741)