Architecture de communication générique pour un système de bus du commerce électronique

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

SecAdvise : un aviseur de mécanismes de sécurité

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

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

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

SecAdvise - un aviseur de mécanismes de sécurité : implantation, validation et expérimentation du modèle proposé

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.