<  Retour au portail Polytechnique Montréal

Discrete event systems approach to the verification of the information flow properties in secure protocols

Nejib Ben Hadj-Alouane, Stéphane 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/24993/
Nom de la conférence: 7th Workshop on Discrete Event System (WODES 2004)
Lieu de la conférence: Reims, France
Date(s) de la conférence: 2004-09-22 - 2004-09-24
Titre de la revue: IFAC Proceedings (vol. 37, no 18)
Maison d'édition: Elsevier
DOI: 10.1016/s1474-6670(17)30762-0
URL officielle: https://doi.org/10.1016/s1474-6670%2817%2930762-0
Date du dépôt: 18 avr. 2023 15:19
Dernière modification: 05 janv. 2024 10:14
Citer en APA 7: Ben Hadj-Alouane, N., Lafrance, S., Lin, F., Mullins, J., & Yeddes, M. (septembre 2004). Discrete event systems approach to the verification of the information flow properties in secure protocols [Communication écrite]. 7th Workshop on Discrete Event System (WODES 2004), Reims, France. Publié dans IFAC Proceedings, 37(18). https://doi.org/10.1016/s1474-6670%2817%2930762-0

Statistiques

Dimensions

Actions réservées au personnel

Afficher document Afficher document