Architectural refinement and notions of intransitive noninterference

DOI10.1007/S00165-012-0247-2zbMath1259.68011OpenAlexW2148736496MaRDI QIDQ1941885

Ron van der Meyden

Publication date: 22 March 2013

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-012-0247-2

zbMATH Keywords

securityarchitecturerefinementnon-interferenceinformation flow

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07)

Cites Work

• The shadow knows: refinement and security in sequential programs
• A Proof System for Information Flow Security
• Secure Systems Development with UML

This page was built for publication: Architectural refinement and notions of intransitive noninterference