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]
@article{Hadj-AlouaneLLMY05,
title = {On the verification of intransitive noninterference in multilevel security},
author = {Nejib Ben Hadj-Alouane and Stéphane Lafrance and Feng Lin and John Mullins and Mohamed Moez Yeddes},
year = {2005},
doi = {10.1109/TSMCB.2005.847749},
url = {http://dx.doi.org/10.1109/TSMCB.2005.847749},
tags = {security},
researchr = {https://researchr.org/publication/Hadj-AlouaneLLMY05},
cites = {0},
citedby = {0},
journal = {IEEE Transactions on Systems, Man, and Cybernetics, Part A},
volume = {35},
number = {5},
pages = {948-958},
}