<  Retour au portail Polytechnique Montréal

An algorithmic approach to verification of intransitive non-interference in security policies

Nejib Ben Hadj-Alouane, S. Lafrance, Feng Lin, John Mullins et Moez Yeddes

Communication écrite (2004)

Un lien externe est disponible pour ce document
Renseignements supplémentaires: Nom historique du département: Département de génie informatique
Département: Département de génie informatique et génie logiciel
URL de PolyPublie: https://publications.polymtl.ca/24992/
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
DOI: 10.1109/cdc.2004.1428605
URL officielle: https://doi.org/10.1109/cdc.2004.1428605
Date du dépôt: 18 avr. 2023 15:19
Dernière modification: 05 janv. 2024 10:16
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

Actions réservées au personnel

Afficher document Afficher document