Détection de vulnérabilités appliquée à la vérification de code intermédiaire de Java Card

La vérification de la résistance aux attaques des implémentations embarquées des vérifieurs de code intermédiaire Java Card est une tâche complexe. Les méthodes actuelles n'étant pas suffisamment efficaces, seule la génération de tests manuelle est possible. Pour automatiser ce processus, nous proposons une méthode appelée VTG (Vulnerability Test Generation, génération de tests de vulnérabilité). En se basant sur une représentation formelle des comportements fonctionnels du système sous test, un ensemble de tests d'intrusions est généré. Cette méthode s'inspire des techniques de mutation et de test à base de modèle. Dans un premier temps, le modèle est muté selon des règles que nous avons définies afin de représenter les potentielles attaques. Les tests sont ensuite extraits à partir des modèles mutants. Deux modèles Event-B ont été proposés. Le premier représente les contraintes structurelles des fichiers d'application Java Card. Le VTG permet en quelques secondes de générer des centaines de tests abstraits. Le second modèle est composé de 66 événements permettant de représenter 61 instructions Java Card. La mutation est effectuée en quelques secondes. L'extraction des tests permet de générer 223 tests en 45 min. Chaque test permet de vérifier une précondition ou une combinaison de préconditions d'une instruction. Cette méthode nous a permis de tester différents mécanismes d'implémentations de vérifieur de code intermédiaire Java Card. Bien que développée pour notre cas d'étude, la méthode proposée est générique et a été appliquée à d'autres cas d'études.

Bagdadbahn : géopolitique en mutation et renseignement militaire russe au Moyen-Orient (1878-1914)

Ce mémoire vise à démontrer, à travers l’analyse des sources du renseignement militaire russe, que vers la fin du XIXᵉ siècle, la construction du chemin de fer de Bagdad par les Allemands conduit à la reconfiguration du Grand Jeu. L’intervalle historique qui s’étend de 1878 à 1914 représente la période de l’avènement de l’Allemagne en tant que nouvel acteur de la rivalité qui opposait jusqu’ici les Russes et les Britanniques en Asie centrale. L’immixtion allemande en Asie Mineure amène à l’internationalisation de la scène moyen-orientale par la construction de la voie ferrée qui, devant relier le Bosphore au golfe Persique, menaçait directement la domination britannique sur la route des Indes et modifiait la conception antérieure du Grand Jeu. En analysant quelques centaines de pages de documents provenant des sources du renseignement militaire russe, à savoir des dépêches, des comptes rendus et des rapports des agents militaires (voennye agenty) ainsi que des notices des représentants diplomatiques russes au Moyen-Orient, nous avons discerné les positions prises par les grandes puissances dans l’entreprise de Bagdad, tout en mettant de l’avant le conflit d’intérêts qui accompagnait l’établissement du tracé du futur chemin de fer. En menaçant la sécurité de l’Inde britannique d’un côté, et en contribuant au renforcement de l’armée turque à la frontière caucasienne de l’autre, le projet allemand de la Bagdadbahn fait avancer la Marche vers l’Est en inaugurant la Weltpolitik germanique.