Les Systèmes de Transport Intelligent (ITS) est un domaine de recherche qui gagne de plus en plus d'attention dans le contexte des Routes Intelligentes. Des messages sont échangés en permanence entre les acteurs des Systèmes de Transport Intelligent-Connectés (C-ITS) et devraient être sécurisés puisqu'ils peuvent contenir des informations sensibles relatives à la vie privée des utilisateurs. Aussi, accéder aux services spécifiques des ITS nécessite l' "authentification". L'Infrastructure à Clé Publique (PKI) représente une solution pour garantir la sécurité souhaitée. La communication au sein de cette PKI est gérée par des protocoles cryptographiques spécifiques. Plusieurs outils de vérification formelle existent dans la littérature pour analyser la sécurité des protocoles de sécurité notamment ProVerif. La première partie de la présentation portera sur la modélisation formelle des protocoles C-ITS PKI ainsi que leurs propriétés de sécurité au moyen du Pi-Calculus. La seconde partie présente les résultats obtenu avec ProVerif en testant notre modèle par l'analyse des trois protocoles PKI C-ITS décrits par l'ETSI.