Laboratoire de Conception et de Réalisation des Applications Complexes (CRAC)
Le CRAC est un laboratoire dédié au développement et à l'application des méthodes formelles en ingénierie des systèmes
complexes. Nous nous intéressons plus particulièrement, à la sécurisation du code mobile. Les travaux que nous menons gravitent
autour des thèmes suivants:
- Analyse des protocoles de cryptographie
- Analyse des protocoles de commerce électronique
- UML: Sémantique formelle et extension en vue de la conception d'applications sécurisées
- Spécification du code mobile sécurisé par des extensions de modèles opérationnels du calcul concurrent (systèmes de
transitions, algèbres de processus, réseaux de Petri, statecharts)
- Méthodes de vérification de flots d'information sécurisés basées sur le model-checking
*
Conseil de la Recherche en Sciences Naturelles et Genie du Canada (CRSNG); Ministère des Relations Internationales du Quebec; Ministère de la Défense du Canada