<  Back to the Polytechnique Montréal portal

On the Verification of Intransitive Noninterference in Mulitlevel Security

Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin, John Mullins and Moez Yeddes

Article (2005)

An external link is available for this item
Additional Information: Nom historique du département: Département de génie informatique
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/24099/
Journal Title: IEEE Transactions on Systems, Man, and Cybernetics. Part B, Cybernetics (vol. 35, no. 5)
Publisher: IEEE
DOI: 10.1109/tsmcb.2005.847749
Official URL: https://doi.org/10.1109/tsmcb.2005.847749
Date Deposited: 18 Apr 2023 15:18
Last Modified: 05 Apr 2024 11:09
Cite in APA 7: Ben Hadj-Alouane, N., Lafrance, S., Lin, F., Mullins, J., & Yeddes, M. (2005). On the Verification of Intransitive Noninterference in Mulitlevel Security. IEEE Transactions on Systems, Man, and Cybernetics. Part B, Cybernetics, 35(5), 948-958. https://doi.org/10.1109/tsmcb.2005.847749

Statistics

Dimensions

Repository Staff Only

View Item View Item