On the Verification of Intransitive Noninterference in Mulitlevel Security

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

Article de revue (2005)

Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Renseignements supplémentaires:
Nom historique du département: Département de génie informatique
Adresse URL de PolyPublie:
Titre de la revue :
IEEE Transactions on Systems, Man, and Cybernetics. Part B, Cybernetics ( vol. 35 , no 5 )
Maison d'édition:
IEEE
OAI:
oai:publications.polymtl.ca:24099
ORCID
Date du dépôt:
18 avr. 2023 15:18
Dernière modification:
14 oct. 2026 12:58
Citer en 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

Statistiques

Dimensions

Actions réservées au personnel

Afficher document
Afficher document