Nejib Ben Hadj-Alouane, S. Lafrance, Feng Lin, John Mullins, Moez Yeddes
Communication écrite (2004)
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
Département:
Adresse URL de PolyPublie:
Nom de la conférence:
43rd IEEE Conference on Decision and Control (CDC 2004)
Lieu de la conférence:
Atlantis, Paradise Island, Bahamas
Date(s) de la conférence:
2004-12-14 - 2004-12-17
Maison d'édition:
Institute of Electrical and Electronics Engineers
URL officielle:
OAI:
oai:publications.polymtl.ca:24992
ORCID
Date du dépôt:
18 avr. 2023 15:19
Dernière modification:
14 oct. 2026 12:59
Citer en APA 7:
Ben Hadj-Alouane, N., Lafrance, S., Lin, F., Mullins, J., & Yeddes, M. (décembre 2004). An algorithmic approach to verification of intransitive non-interference in security policies [Communication écrite]. 43rd IEEE Conference on Decision and Control (CDC 2004), Atlantis, Paradise Island, Bahamas. https://doi.org/10.1109/cdc.2004.1428605
Statistiques
Dimensions
