Un modèle de validation automatique de mécanismes de sécurisation des communications
| Contribuinte(s) |
KROPF, PETER G. BABIN, GILBERT |
|---|---|
| Data(s) |
21/09/2016
21/09/2016
2004
2003
|
| Resumo |
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal. |
| Identificador | |
| Idioma(s) |
fr |
| Palavras-Chave | #Validation #Mécanisme de sécurité #Protocole de sécurité #Spécification formelle #SecAdvise #PROMELA #SPIN #Services de sécurité #Intrus #EFSM |
| Tipo |
Thèse ou Mémoire numérique / Electronic Thesis or Dissertation |
