Characterizing intransitive noninterference for 3-domain security policies with observability
From MaRDI portal
Publication:5274096
DOI10.1109/TAC.2005.850643zbMath1365.94480MaRDI QIDQ5274096
Feng Lin, Nejib Ben Hadj-Alouane, Stéphane Lafrance, Moez Yeddes, John Mullins
Publication date: 12 July 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Discrete event control/observation systems (93C65) Authentication, digital signatures and secret sharing (94A62)
Related Items
A framework for current-state opacity under dynamic information release mechanism ⋮ Non-interference assessment in colored net systems via integer linear programming ⋮ Synthesis of opaque systems with static and dynamic masks ⋮ Current-state opacity enforcement in discrete event systems under incomparable observations ⋮ On Intransitive Non-interference in Some Models of Concurrency
