%0 Journal Article %1 journals/tsmc/Hadj-AlouaneLLMY05 %A Hadj-Alouane, Nejib Ben %A Lafrance, Stéphane %A Lin, Feng %A Mullins, John %A Yeddes, Mohamed Moez %D 2005 %J IEEE Trans. Syst. Man Cybern. Part B %K dblp %N 5 %P 948-958 %T On the verification of intransitive noninterference in multilevel security. %U http://dblp.uni-trier.de/db/journals/tsmc/tsmcb35.html#Hadj-AlouaneLLMY05 %V 35

@article{journals/tsmc/Hadj-AlouaneLLMY05, added-at = {2023-11-12T00:00:00.000+0100}, author = {Hadj-Alouane, Nejib Ben and Lafrance, Stéphane and Lin, Feng and Mullins, John and Yeddes, Mohamed Moez}, biburl = {https://www.bibsonomy.org/bibtex/2ba2095335b7716b69a0536b991b51f91/dblp}, ee = {https://www.wikidata.org/entity/Q51961769}, interhash = {09f950f3b7eef7e6b05d4e85b6bb260d}, intrahash = {ba2095335b7716b69a0536b991b51f91}, journal = {IEEE Trans. Syst. Man Cybern. Part B}, keywords = {dblp}, number = 5, pages = {948-958}, timestamp = {2024-04-08T19:18:27.000+0200}, title = {On the verification of intransitive noninterference in multilevel security.}, url = {http://dblp.uni-trier.de/db/journals/tsmc/tsmcb35.html#Hadj-AlouaneLLMY05}, volume = 35, year = 2005 }