Modifying Security Policies for the Satisfaction of Intransitive Non-Interference

DOI10.1109/TAC.2009.2023961zbMATH Open1367.94353OpenAlexW2097743305MaRDI QIDQ4974710

Feng Lin, Moez Yeddes, Nejib Ben Hadj-Alouane

Publication date: 8 August 2017

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

Full work available at URL: https://doi.org/10.1109/tac.2009.2023961

Mathematics Subject Classification ID

Could not fetch data.

Related Items (3)

Non-interference assessment in colored net systems via integer linear programming ⋮ Noninterference with Local Policies ⋮ Control and synthesis of non-interferent timed systems

This page was built for publication: Modifying Security Policies for the Satisfaction of Intransitive Non-Interference

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