Architectural refinement and notions of intransitive noninterference

DOI10.1007/S00165-012-0247-2zbMATH Open1259.68011OpenAlexW2148736496MaRDI QIDQ1941885FDOQ1941885

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

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

zbMATH Keywords

refinementsecuritynon-interferenceinformation flowarchitecture

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07)

Cites Work

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

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)