Show item record

dc.contributor.advisorKROPF, PETER G.
dc.contributor.advisorBABIN, GILBERT
dc.contributor.authorZemmouri, Fathya
dc.date.accessioned2016-09-21T14:28:58Z
dc.date.available2016-09-21T14:28:58Z
dc.date.issued2004
dc.date.submitted2003
dc.identifier.urihttp://hdl.handle.net/1866/14537
dc.subjectValidation
dc.subjectMécanisme de sécurité
dc.subjectProtocole de sécurité
dc.subjectSpécification formelle
dc.subjectSecAdvise
dc.subjectPROMELA
dc.subjectSPIN
dc.subjectServices de sécurité
dc.subjectIntrus
dc.subjectEFSM
dc.titleUn modèle de validation automatique de mécanismes de sécurisation des communications
dc.typeThèse ou mémoire / Thesis or Dissertation
etd.degree.disciplineInformatiquefr
etd.degree.grantorUniversité de Montréalfr
etd.degree.levelMaîtrise / Master's
etd.degree.nameM. Sc.
dcterms.descriptionMémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.fr
dcterms.languagefra


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show item record