Characterizing intransitive noninterference for 3-domain security policies with observability

DOI10.1109/TAC.2005.850643MaRDI QIDQ5274096zbMATH OpenFDO

Authors Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin, Moez Yeddes, John Mullins

Publication date 12 July 2017

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TAC.2005.850643

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Noninterference with dynamic security domains and policies
• Modifying Security Policies for the Satisfaction of Intransitive Non-Interference
• Dynamic intransitive noninterference revisited
• Noninterference in a predicative polymorphic calculus for access control
• A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference
• Formalizing probabilistic noninterference
• The security pi-calculus and non-interference
• A noninterference model for nondeterministic systems
• Abstractions of non-interference security: probabilistic versus possibilistic

Cited in

(5)

• Current-state opacity enforcement in discrete event systems under incomparable observations
• A framework for current-state opacity under dynamic information release mechanism
• On intransitive non-interference in some models of concurrency
• Synthesis of opaque systems with static and dynamic masks
• Non-interference assessment in colored net systems via integer linear programming

This page was built for publication: Characterizing intransitive noninterference for 3-domain security policies with observability

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