 | Monter d'un niveau |
Barzegar, A. (2021). A Differential Private Approach for Preserving the Privacy in Deep Learning Algorithms [Mémoire de maîtrise, Polytechnique Montréal]. Disponible
Vosough Tehrani, M. (2020). Integration of Differential Privacy Mechanism to Map-Reduce Platform for Preserving Privacy in Cloud Environments [Mémoire de maîtrise, Polytechnique Montréal]. Disponible
Larbaoui, L. (2020). Vérification automatique de la confidentialité différentielle [Mémoire de maîtrise, Polytechnique Montréal]. Disponible
Dupeuble, G. (2017). Préservation de l'opacité par raffinement de systèmes spécifiés par des chaînes de Markov discrètes à intervalles [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible
Nleng, C. H. (2014). Modélisation et vérification du flux d'information pour les systèmes orientés objets [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible
Khadem Mohtaram, A. (2013). Classification, Formalization and Automatic Verification of Untraceability in RFID Protocols [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible
Kiraga, A. F. (2010). Vérification des systèmes de sécurité probabilistes : restriction de l'attaquant [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible
Oarga, R.-M. (2005). Vérification à la volée de contraintes OCL étendues sur des modèles UML [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible
Bastien, G. (2004). ASPiC : un outil d'analyse symbolique automatisée de protocoles cryptographiques basé sur le modèle de flux d'information [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible
Bergeron, M. (2004). Model-checking UML designs using a temporal extension of the object constraint language [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible
Abdellatif, M. (2021). Service Identification to Support the Migration of Legacy Systems to SOA [Thèse de doctorat, Polytechnique Montréal]. Disponible
Beji, S. (2018). Intégration itérative des systèmes avioniques communicants en mode synchrone et asynchrone [Thèse de doctorat, École Polytechnique de Montréal]. Disponible
Abouzaid, M. F. (2010). Analyse formelle d'orchestrations de services Web [Thèse de doctorat, École Polytechnique de Montréal]. Disponible
Hamadou, S. (2008). Analyse formelle des protocoles cryptographiques et flux d'information admissible [Thèse de doctorat, École Polytechnique de Montréal]. Disponible
Lafrance, S. (2005). Spécification et validation de protocoles de sécurité [Thèse de doctorat, École Polytechnique de Montréal]. Disponible
