<  Back to the Polytechnique Montréal portal

Analyse formelle des protocoles cryptographiques et flux d'information admissible

Sardaouna Hamadou

PhD thesis (2008)

[img]
Preview
Published Version
Terms of Use: All rights reserved.
Download (3MB)
Cite this document: Hamadou, S. (2008). Analyse formelle des protocoles cryptographiques et flux d'information admissible (PhD thesis, École Polytechnique de Montréal). Retrieved from https://publications.polymtl.ca/8154/
Show abstract Hide abstract

Abstract

Requis des protocoles cyptographiques et méthodes formelles -- L'interférence admissible -- Validation des propriétés de sécurité -- Un modèle de calcul probabiliste polynomial -- Sémantique contextuelle du modèle prospa.

Uncontrolled Keywords

Données -- Transmission; Chiffrement (Informatique); Cryptographie; Protocoles de réseaux d'ordinateurs

Open Access document in PolyPublie
Additional Information: Le fichier PDF de ce document a été produit par Bibliothèque et Archives Canada selon les termes du programme Thèses Canada https://canada.on.worldcat.org/oclc/530972475
Department: Département de génie informatique et génie logiciel
Date Deposited: 04 Aug 2021 11:04
Last Modified: 25 Aug 2021 14:58
PolyPublie URL: https://publications.polymtl.ca/8154/

Statistics

Total downloads

Downloads per month in the last year

Origin of downloads

Repository Staff Only