On the verification of intransitive noninterference in multilevel security - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin, John Mullins, Mohamed Moez Yeddes. On the verification of intransitive noninterference in multilevel security. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 35(5):948-958, 2005. [doi]

The following publications are possibly variants of this publication:

Characterizing intransitive noninterference for 3-domain security policies with observabilityNejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin, John Mullins, Moez Yeddes. tac, 50(6):920-925, 2005. [doi]

runs on WebDSL