UNIVERSITE DE TECHNOLOGIE DE TROYES LABORATOIRE DE MODÉLISATION ET SÛRETÉ DES SYSTÈMES En vue dobtention du diplôme Master 2 en informatique Option Technologies.