LOGICIELS PROUVÉS POUR LA SÉCURITÉ DE L’INTERNET DES OBJETS