Un modèle de validation automatique de mécanismes de sécurisation des communications

Zemmouri, Fathya

dc.contributor.advisor	KROPF, PETER G.
dc.contributor.advisor	BABIN, GILBERT
dc.contributor.author	Zemmouri, Fathya
dc.date.accessioned	2016-09-21T14:28:58Z
dc.date.available	2016-09-21T14:28:58Z
dc.date.issued	2004
dc.date.submitted	2003
dc.identifier.uri	http://hdl.handle.net/1866/14537
dc.subject	Validation
dc.subject	Mécanisme de sécurité
dc.subject	Protocole de sécurité
dc.subject	Spécification formelle
dc.subject	SecAdvise
dc.subject	PROMELA
dc.subject	SPIN
dc.subject	Services de sécurité
dc.subject	Intrus
dc.subject	EFSM
dc.title	Un modèle de validation automatique de mécanismes de sécurisation des communications
dc.type	Thèse ou mémoire / Thesis or Dissertation
etd.degree.discipline	Informatique	fr
etd.degree.grantor	Université de Montréal	fr
etd.degree.level	Maîtrise / Master's
etd.degree.name	M. Sc.
dcterms.description	Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.	fr
dcterms.language	fra

Fichier·s constituant ce document

Nom:: Zemmouri_Fathya_2003_memoire.pdf
Taille:: 3.472Mo
Format:: PDF
Description:: Mémoire

Ce document figure dans la ou les collections suivantes

Thèses et mémoires électroniques de l’Université de Montréal [23735]
Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle - Thèses et mémoires [1154]

Afficher la notice

Ce document diffusé sur Papyrus est la propriété exclusive des titulaires des droits d'auteur et est protégé par la Loi sur le droit d'auteur (L.R.C. (1985), ch. C-42). Il peut être utilisé dans le cadre d'une utilisation équitable et non commerciale, à des fins d'étude privée ou de recherche, de critique ou de compte-rendu comme le prévoit la Loi. Pour toute autre utilisation, une autorisation écrite des titulaires des droits d'auteur sera nécessaire.