Architectural refinement and notions of intransitive noninterference

DOI10.1007/S00165-012-0247-2MaRDI QIDQ1941885zbMATH OpenOpenAlexFDO

Authors 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

refinementsecuritynon-interferenceinformation flowarchitecture

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07)

Recommendations

• Compositional noninterference from first principles
• Abstract non-interference
• Theoretical Aspects of Computing – ICTAC 2005
• Noninterference in a predicative polymorphic calculus for access control
• Dynamic intransitive noninterference revisited
• Reconciling noninterference and gradual typing

Cites work

• A proof system for information flow security
• Secure Systems Development with UML
• The shadow knows: refinement and security in sequential programs

Cited in

(1)

• Information flow in systems with schedulers. II: Refinement

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

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