Search

The Gawler Ranges is a massif comprising bornhardts developed on Mesoproterozoic dacite, rhyodacite and granite. The country rocks are subdivided by orthogonal fractures into massive compartments within which are developed sets of concentric arcuate partings or sheet fractures. Similar arcuate structures were superimposed on the western sector of the upland by a meteorite impact during the earliest Palaeozoic. Following the Permian glaciation, the area was reduced to low relief. Fracture controlled differential weathering beneath the planation surface resulted in an irregular weathering front with prominent domical rises and intervening linear depressions. Uplift near the southern limit of the Mesoproterozoic outcrops caused north flowing rivers to strip the regolith and deposit the detritus in the ocean that then occupied the Eromanga Basin. There it was intercalated with marine strata that demonstrated a Neocomian-Aptian age for the alluvial deposit, and hence also for the etch or two stage bornhardt assemblage that was revealed by the evacuation of the weathered mantle. It has persisted virtually unchanged because of resistance of the country rocks. The veracity of the great age attributed to the Gawler Ranges topography is discussed, as are the possible reasons for its survival, the origin of the sheet fractures, and the reasons for the widespread development of etch or two stage features, though it is suggested that in view of the influence of shearing and resultant fractures on landscape development, it is more accurate to regard the upland as of multistage origin. Les Gawler Ranges constituent un massif comprenant des inselbergs développés dans des dacites, rhyodacites et granites. Le substrat est découpé par des fractures orthogonales en compartiments massifs intégrant des ensembles de fractures arquées concentriques ou diaclases d’exfoliation. Dans la partie occidentale des hautes terres, de telles structures arquées ont été recoupées au Paléozoïque inférieur par un impact météoritique. Après la glaciation permienne, le secteur a été réduit à un relief très peu marqué. Sous la surface d’aplanissement, la météorisation différentielle guidée par la fracturation a donné naissance à un front d’altération irrégulier où alternent formes en dômes et dépressions linéaires. Le soulèvement intervenu près de la limite méridionale des affleurements mésoprotérozoïques a provoqué le déblaiement du régolithe par les rivières s’écoulant vers le nord, ainsi que le dépôt des sédiments corrélatifs dans l’océan qui occupait alors le Eromanga Basin. L’intercalation de ces apports terrigènes avec des strates marines prouve que le dépôt alluvial, et donc l’assemblage de plaines de corrosion et d’inselbergs révélé par le décapage du manteau d’altération, sont d’âge néocomien-aptien. Cet assemblage est demeuré pratiquement en l’état en raison de la résistance des matériaux constitutifs du substrat. La validité de l’ancienneté supposée du dispositif topographique des Gawler Ranges est discutée, ainsi que les possibles raisons de sa persistance, l’origine des formes d’exfoliation, et les raisons du développement généralisé des aplanissements et des inselbergs formés en deux étapes. Compte tenu de l’influence du cisaillement et des fractures associées sur le développement de ce dispositif topographique, il apparaît plus exact de considérer ces hautes terres comme polygéniques.

Objectifs: Les termites constituent un réel problème pour les producteurs de maïs en Afrique. Cette étude avait pour objectif de connaitre la diversité des termites ravageurs en fonction du stade phénologique des plants de maïs en vue d’une meilleure gestion de ces ravageurs. Méthodologie et résultats: Pour ce faire, trois (3) parcelles de maïs ont été mises en place. Chaque parcelle comprenait 30 lignes de 60 pieds de maïs, soit un total de 1800 pieds par parcelle. L’échantillonnage s’est déroulé au cours de trois grands stades de développement de maïs : stade jeune, stade adulte et stade âgé. À chaque période d’échantillonnage, 10 plants de maïs par ligne soit 300 pieds ont été choisis au hasard et marqués par parcelle élémentaire. Les plants choisis ont été observés pour voir les attaques des termites. Les taux d’attaque des termites par stade phénologique ont été calculés. . Les résultats montrent qu’au total 10 espèces de termites ont été identifiées comme ravageurs du maïs. Ces termites attaquent les plants de maïs à tous les stades phénologiques avec des taux d’attaquent différents. Le stade âgé et le stade jeune qui enregistrent respectivement 74,66% et 14,66% de taux d’attaques constituent les stades les plus exposés aux attaques des termites. Ces deux stades ont enregistré également le plus grand nombre de pieds détruits par les termites. Les champignonnistes constituent le groupe le plus agressif avec les espèces Ondototermes pauperans, Pseudacanthotermes militaris et Macrotermes bellicosus impliqués dans 89,63% des cas de pieds de maïs détruits. Conclusion et application des résultats: Il ressort de ces résultats que les termites sont de véritables ravageurs de maïs dans la région de Korhogo. Vue les dégâts des termites, il est impératif de proposer aux producteurs de maïs de cette région des méthodes de lutte contre ces ravageurs. English title: Relationship between phenological stages of maize (Zea mays) and termite pest attacks in the north Côte d’Ivoire Abstract Objectives: Termites are a real problem for maize farmers in Africa. The objective of this study was to understand the diversity of termite pests according to the phenological stage of maize plants in order to improve the management of these pests. Methodology and results: Three (3) maize plots were set up. Each plot consisted of 30 lines of 60 maize plants, for a total of 1800 plants per plot. Sampling took place during three major stages of maize development: young, mature and old. At each sampling period, 10 maize plants per row, i.e. 300 plants, were randomly selected and marked per elementary plot. The selected plants were observed for termite attack. Termite attack rates by phenological stage were calculated. The results show that a total of 10 termite species were identified as maize pests. These termites attack maize plants at all phenological stages with different attack rates. The old and young stages with 74.66% and 14.66% attack rates respectively were the most susceptible to termite attack. These two stages also recorded the highest number of feet destroyed by termites. Fungus-growers group was the most aggressive with Ondototermes pauperans, Pseudacanthotermes militaris and Macrotermes bellicosus species involved in 89.63% of the cases of destroyed maize plants. Conclusion and application of results: These results show that termites are real pests of maize in the Korhogo region. Given the damage caused by termites, it is imperative to offer maize producers in this region methods to control these pests. Also, early harvesting of maize could reduce the impact of termite attacks on yields. Key words: Termites, Attack, Damage, Maize, Korhogo, phenological stage.

Since the democratization of mobile devices, sensitive operations likepayment, identification or healthcare, usually done using securityevaluated smartcards, are handled by these devices. However, mo-bile devices neither are designed for security nor security evaluated.Therefore, their resistance against powerful attacks, like physical at-tacks is questionable.In this thesis, we aim at evaluating the security of mobile devicesagainst physical attacks, in particular perturbation attacks. These at-tacks aims at modifying the execution environment of the device to in-duce bugs during its computation. These bugs are called faults. Thesefaults can compromise the security of a device by allowing the crypt-analysis of its secret or forcing an unauthorized authentication forinstance.Mobile devices are powered by modern processors, which are theheart of this work, and are never evaluated against fault attacks. How-ever, our knowledge about fault attacks on smartcards is not rele-vant as the processors powering smartcards are way less complex,in terms of number of modules, technology node and optimizationmechanisms, than modern processors.Regarding this situation, we aim at providing rationals on the se-curity of modern processors against fault attacks by defining a faultcharacterization method, using it on representative modern proces-sors and analyzing classical security mechanisms against the charac-terized faults.We characterized three devices, namely the BCM2837, BCM2711b0and the Intel Core i3-6100T against fault attacks using two differentinjection mediums: electromagnetic perturbations and a laser. We de-termined that these devices, despite having different architecture andusing different mediums are faulted in similar ways. Most of the time,a perturbation on these devices modify their executed instructions.As this is a powerful fault, we also analyzed classical security mech-anisms embedded in such devices. We successfully realized a dif-ferential fault analysis on the AES implementation of the OpenSSLlibrary, which is used in every Linux based operating system. Wealso analyzed the Linux user authentication process involved in thesudo program. This work highlights the lack of tools to efficiently ana-lyze Linux programs, which are rather complex with dynamic linkingmechanisms, against fault attacks., De nos jours, nos appareils mobiles sont utilisés pour réaliser desopérations sensibles telles que du paiement, de l’identification ou lagestion de services santé. Historiquement, ces opérations sont réal-isées par des appareils conçus et évalués pour résister à diverses at-taques: les éléments sécurisés. En revanche, les appareils mobiles sontconçus pour fournir la meilleure performance possible et ne subissentaucune évaluation de sécurité. Cet état de fait interroge sur la résis-tance de ces appareils face aux attaques classiques contre lesquellesse protègent les éléments sécurisés.Parmi ces attaques, nous nous proposons, dans cette thèse, d’étudierles attaques par perturbations. Ces attaques consiste à modifier lesconditions d’exécution du circuit ciblé afin d’induire des erreurs dansson fonctionnement. Ces erreurs volontaires, communément appeléesfautes, permettent de créer des failles dans la cible pouvant allerjusqu’à la cryptanalyse d’un algorithme de chiffrement ou l’authentifi-cation d’un utilisateur non autorisé.Bien que ces méthodes d’attaques soient connues et étudiées surles éléments sécurisés, les appareils modernes reposent sur des pro-cesseurs modernes présentant des différences par rapport aux pro-cesseur des éléments sécurisés. Cela peut être le nombre de modulequ’ils embarquent, leur finesse de gravure ou des optimisations.L’impact de ces différences sur la sécurité des processeur n’a pasété étudié en prenant en compte la possibilité d’induire des fautes.C’est ce que nous réalisons dans cette thèse. Nous définissons uneméthode permettant de caractériser les effets de perturbations surun processeur moderne que nous appliquons sur trois processeursreprésentatifs des appareils existants: le BCM2837, le BCM2711b0 etl’Intel Core i3-6100T. Nous avons également utilisés deux moyensde perturbation classiques: l’injection d’onde électromagnétique etl’utilisation d’un laser. L’étude de ces cibles, en variant les moyensd’injections de faute, nous a permis de déterminer qu’elles réagissenttoutes de manière similaire aux différentes perturbations malgré leurdifférente architecture. L’effet le plus marquant étant la modificationdes instructions exécutées.Ce type de faute est très fort car il permet de modifier une par-tie du programme exécuté pendant son exécution. Vérifier le pro-gramme avant de l’exécuter ne protège en rien face à ce type defautes, par exemple. C’est pourquoi nous avons également étudié larésistance des mécanismes de sécurité présents dans ces cibles faceà ce type de faute. Nous avons notamment réussi à cryptanalyserl’implémentation de l’algorithme de chiffrement AES de la biblio-thèque OpenSSL, très utilisé dans les systèmes utilisant Linux. Nous avons également étudié la résistance du mécanisme d’authentificationdes utilisateurs d’un système Linux en regardant le programme sudo .Cette étude nous a, en particulier, révélé que la communauté manqued’outils efficace pour analyser ce type de programmes face aux fautes.En effet, les programmes s’exécutant dans un environnement Linuxbénéficient de nombreux mécanismes liés au noyau Linux qui rendentl’exécution d’un programme difficile à étudier.

Jacques Lassalle. J’ai tellement de souvenirs d’accidents, d’incidents, survenus lors des représentations… Ne serait-ce qu'à propos des spectacles que j’ai mis en scène dans la Cour des Papes à Avignon – nous avons connu le mistral, la tempête, l'orage, la canicule... J’ai l'embarras du choix ! Par exemple, le premier spectacle que j’ai monté dans la Cour d’Honneur était Don Juan de Molière. Lors de la première, le spectacle a été interrompu à l’entr’acte par un orage très violent et n'a pas ...

Le présent travail porte sur l'analyse des toutes premières phrases des articles de presse (ce que les professionnels appellent l'« attaque »). Existe-t-il des manières différentes d'introduire un article en allemand et en français, dont le traducteur devrait tenir compte pour adapter son texte au moment de la traduction ? Pour répondre à cette question, nous nous sommes appuyée sur l'analyse d'un corpus comparable constitué d'articles tirés des journaux suisses « Le Temps » et « Neue Zürcher Zeitung », afin de dégager les usages en vigueur dans les deux langues en matière d'attaque. Cette analyse nous a permis non seulement d'identifier des similitudes et divergences entre les pratiques des deux journaux, mais aussi de mettre en avant un certain nombre de ressources linguistiques couramment utilisées dans les articles en français, auxquelles le traducteur pourra recourir afin de rendre son texte plus idiomatique.

The mediation of Mers-el-Kebir and Toulon events highlights the press's role in the support of Petain's regime. But also the navy's responsibility in the reasons that leads us to the English attack on the French Navy in one hand, and to the scuttling of the French fleet in Toulon's military port in another hand. This essay allows to discuss on those not very well-known events (despite of their name from the general public), by raising questions about the responsibility of the press and the Navy, media coverage and its effects on the readers. Favoring a historiographic approach between naval and media, this essay tends to explain the compromise of principles of the Navy and the press with Vichy's regime by the filter of the two events.; La médiatisation des événements de Mers-el-Kébir et de Toulon met en avant le rôle de la presse dans son soutien accordé au régime de Pétain, mais aussi la responsabilité de la marine dans les origines qui menèrent, d’une part, à l’attaque de navires français perpétrée par les Anglais, et, d’autre part, au sabordage de la flotte française dans le port militaire de Toulon. Ce mémoire propose de revenir sur ces deux événements peu connus, au-delà de leur nom, par le grand public, en portant différents questionnements sur les responsabilités de la presse et de la marine, ainsi que sur la couverture médiatique et ses effets au sein du lectorat. Privilégiant une approche historiographique combinée entre celle maritime, et celle médiatique, le mémoire tend à expliquer la compromission de la presse et de la marine avec le régime de Vichy par le prisme de ces deux épisodes.

A partir de dos procesos en la Corte del vicario de Barcelona, en 1426, de los que se conservan sendas copias en el Archivo de la Corona de Aragón, se estudia un episodio de la vida del jurista Narcís de Sant Dionís. De su entorno familiar parte una agresión contra Joan de Palomar porque este había aceptado la auditoría de cuentas de la Diputación tras quedar vacante por la destitución previa de Sant Dionís. Los procesos son instruidos contra elementos mantenidos por Sant Dionís o cercanos a él, como su sobrino el vicario homónimo de Gerona, responsable del ataque. From two proceedings in the Barcelona’s Vicar’s court, in 1426, of which copies are kept in the Archive of the Crown of Aragon, an episode of the life of the jurist Narcís de Sant Dionís is studied. From his family surroundings an aggression occurs against Joan of Palomar because Palomar had accepted the audit of accounts of the Diputación after being vacant by the previous destitution of Sant Dionís. The cases are instructed against elements maintained by or close to Sant Dionís, such as his nephew, the homonymous vicar of Gerona, held responsible for the attack. Suivant deux procès à la Cour du Vicaire de Barcelone, en 1426, dont des copies respectives sont conservés dans les archives de la Couronne d’Aragon, un épisode de la vie du juriste Narcís Sant Dionis est ici étudié. Parmi son environnement familial, une agression contre Joan de Palomar a commencé parce qu’il avait accepté l’audit des comptes de la Diputación après être devenu vacant en raison du licenciement préalable de Sant Dionís. Les procédures sont instruites contre des éléments entretenus par Sant Dionís ou près de lui, comme son neveu le vicaire du même nom, responsable de l’attaque.

The current definitions of a critical infrastructure are not adapted to the actual attacks which are observed these days. The problem is the same for the definition of an attack and therefore, the term « cyber attack » tends to reduce the conceptual and operational field of the person in charge of the security. Most of the approaches are reduced to identify the technical and IT domain only, and they forget the others domains specific to the intelligence. Then, the main methodologies to identify and to manage risk (EBIOS or some similar methodologies) take into account a definition of a critical infrastructure which is restrictive, static and local. The model of attacker and attack is also extremely narrowed as the technical approaches and the angles of attack of an attacker tend to be restricted to the IT domain only, even if the « cyber » angles may not exist or may only be a small part of an attack scenario.Therefore, it is necessary to have a new definition of a critical infrastructure, more complete and made according to the attacker point of view. Indeed, critical infrastructures can be protected by assessing the threats and vulnerability. This thesis aims to develop new models of infrastructure and attack accurately, models which will based on graph theory, with or without the cyber part. This graph-based representation is already used a lot to describe infrastructure, it will be enriched in order to have a more exhaustive view of an infrastructure environment. The dependencies with other entities (people, others critical infrastructures, etc.) have to be taken into account in order to obtain pertinent attack scenarios. This enriched representation must lead to new models of attackers, more realistic and implementing external components of the infrastructure which belong to its immediate environment. The main objective is the research of optimal paths or other mathematical structures which can be translated into attack scenarios. This global approach provides a finer (and therefore more realistic) definition of security as the lowest cost of the attack path.The research program is structured in five stages. The first two steps are aimed at defining the models and objects representing the security infrastructures as well as the attackers they are confronted with. The major difficulty encountered in developing a relevant infrastructure model is its ability to describe. Indeed, the more the model is rich, the more it can describe the infrastructure and the adversaries that attack it. The counterpart of developing a relevant model is its exponential characteristic. In these security models, we therefore expect that the problem of finding the vulnerabilities of a security infrastructure is equivalent to difficult problems, i.e. NP-hard or even NP-complete. The locks to be lifted will therefore consist in the design of heuristics to answer these problems in finite time with an ``acceptable" response. The third step is to define a generic methodology for assessing the safety of a security infrastructure. In order to validate the proposed models and methodology, the thesis program provides for the development of a research demonstrator in the form of an evaluation platform. Finally, the last step will be to evaluate an existing system from the platform by implementing the proposed methodology. The objective of this last step is to validate the models and the methodology and to propose an improvement if necessary., Les définitions actuelles des infrastructures de sécurité (française, européenne, G-20) sont inadaptées à la réalité des attaques observées ou potentielles. Il en est de même des attaques elles-mêmes et en conséquence le terme « cyberattaque » réduit considérablement le champ conceptuel et opérationnel de celui qui est en charge de la protection et de la défense. La quasi-totalité des approches se réduit à identifier le champ strictement technique informatique (systèmes, réseaux) et à oublier d’autres dimensions propres au renseignement. Ainsi les principales méthodologies d’identification et de gestion du risque (EBIOS ou méthodologies similaires) considèrent une définition particulièrement restrictive, statique et locale de la notion d’infrastructure critique. La modélisation elle-même des attaquants et des attaques est extrêmement réduite. La principale erreur est de restreindre les approches techniques et les angles d’attaque d’un attaquant au seul champ informatique. Les angles « cyber » peuvent ne pas exister ou représenter un volet limitée dans un scenario global d’attaque. En outre, l’approche classique néglige le volet opérationnel gouvernant la préparation et la conduite de la manœuvre dans une attaque. Les modélisations par arbres d’attaques sont également très limitées du fait d’une restriction au seul champ cyber (systèmes et réseaux).Il est alors nécessaire de concevoir une définition très élargie, laquelle doit être dictée par la vision de l'attaquant et non celle du défenseur. Cette thèse vise à développer de nouveaux modèles d'infrastructure de sécurité basés sur la théorie des graphes et a modéliser de manière très élargie le concept d’attaque, incluant ou non un champ cyber. Cette représentation déjà utilisée pour décrire la topologie des infrastructures critiques sera enrichie pour appréhender de manière exhaustive l'environnement avec lesquelles elles interagissent. Les interdépendances avec d’autres entités (personnes, autres infrastructures critiques…) sont un élément clef dans la construction de scenarii d’attaques sophistiquées. Cette représentation enrichie doit aboutir à des nouveaux modèles d'attaquants, plus réalistes et mettant en œuvre des composants externes de l'infrastructure mais appartenant à son environnement proche. L'objectif majeur est la recherche de chemins optimaux dans un scénario d'attaque défini par l'objectif de l'adversaire. Cette approche globale, apporte une définition plus fine (et donc plus réaliste) de la sécurité comme étant le coût le plus faible du chemin d'attaque pris sur l'ensemble des adversaires réalistes (polynomiaux, i.e. agissant en temps fini).Le programme de recherche est structuré en cinq étapes. Les deux premières étapes visent à définir les modèles et les objets représentant les infrastructures de sécurité ainsi que les attaquants auxquelles elles sont confrontées. La troisième étape consiste en la définition d'une méthodologie générique pour évaluer la sécurité d'une infrastructure de sécurité. Cette étape doit aboutir à la conception d'heuristiques de recherche de vulnérabilités. Afin de valider les modèles et la méthodologie proposés, le programme de thèse prévoit le développement d'un démonstrateur recherche sous la forme d'une plate-forme d'évaluation. Enfin, la dernière étape consistera à l'évaluation d'un système existant à partir de la plate-forme en mettant en œuvre la méthodologie proposée. L'objectif de cette dernière étape est de valider les modèles et la méthodologie et d'en proposer une amélioration si nécessaire.

The current definitions of a critical infrastructure are not adapted to the actual attacks which are observed these days. The problem is the same for the definition of an attack and therefore, the term « cyber attack » tends to reduce the conceptual and operational field of the person in charge of the security. Most of the approaches are reduced to identify the technical and IT domain only, and they forget the others domains specific to the intelligence. Then, the main methodologies to identify and to manage risk (EBIOS or some similar methodologies) take into account a definition of a critical infrastructure which is restrictive, static and local. The model of attacker and attack is also extremely narrowed as the technical approaches and the angles of attack of an attacker tend to be restricted to the IT domain only, even if the « cyber » angles may not exist or may only be a small part of an attack scenario.Therefore, it is necessary to have a new definition of a critical infrastructure, more complete and made according to the attacker point of view. Indeed, critical infrastructures can be protected by assessing the threats and vulnerability. This thesis aims to develop new models of infrastructure and attack accurately, models which will based on graph theory, with or without the cyber part. This graph-based representation is already used a lot to describe infrastructure, it will be enriched in order to have a more exhaustive view of an infrastructure environment. The dependencies with other entities (people, others critical infrastructures, etc.) have to be taken into account in order to obtain pertinent attack scenarios. This enriched representation must lead to new models of attackers, more realistic and implementing external components of the infrastructure which belong to its immediate environment. The main objective is the research of optimal paths or other mathematical structures which can be translated into attack scenarios. This global approach provides a finer (and therefore more realistic) definition of security as the lowest cost of the attack path.The research program is structured in five stages. The first two steps are aimed at defining the models and objects representing the security infrastructures as well as the attackers they are confronted with. The major difficulty encountered in developing a relevant infrastructure model is its ability to describe. Indeed, the more the model is rich, the more it can describe the infrastructure and the adversaries that attack it. The counterpart of developing a relevant model is its exponential characteristic. In these security models, we therefore expect that the problem of finding the vulnerabilities of a security infrastructure is equivalent to difficult problems, i.e. NP-hard or even NP-complete. The locks to be lifted will therefore consist in the design of heuristics to answer these problems in finite time with an ``acceptable" response. The third step is to define a generic methodology for assessing the safety of a security infrastructure. In order to validate the proposed models and methodology, the thesis program provides for the development of a research demonstrator in the form of an evaluation platform. Finally, the last step will be to evaluate an existing system from the platform by implementing the proposed methodology. The objective of this last step is to validate the models and the methodology and to propose an improvement if necessary., Les définitions actuelles des infrastructures de sécurité (française, européenne, G-20) sont inadaptées à la réalité des attaques observées ou potentielles. Il en est de même des attaques elles-mêmes et en conséquence le terme « cyberattaque » réduit considérablement le champ conceptuel et opérationnel de celui qui est en charge de la protection et de la défense. La quasi-totalité des approches se réduit à identifier le champ strictement technique informatique (systèmes, réseaux) et à oublier d’autres dimensions propres au renseignement. Ainsi les principales méthodologies d’identification et de gestion du risque (EBIOS ou méthodologies similaires) considèrent une définition particulièrement restrictive, statique et locale de la notion d’infrastructure critique. La modélisation elle-même des attaquants et des attaques est extrêmement réduite. La principale erreur est de restreindre les approches techniques et les angles d’attaque d’un attaquant au seul champ informatique. Les angles « cyber » peuvent ne pas exister ou représenter un volet limitée dans un scenario global d’attaque. En outre, l’approche classique néglige le volet opérationnel gouvernant la préparation et la conduite de la manœuvre dans une attaque. Les modélisations par arbres d’attaques sont également très limitées du fait d’une restriction au seul champ cyber (systèmes et réseaux).Il est alors nécessaire de concevoir une définition très élargie, laquelle doit être dictée par la vision de l'attaquant et non celle du défenseur. Cette thèse vise à développer de nouveaux modèles d'infrastructure de sécurité basés sur la théorie des graphes et a modéliser de manière très élargie le concept d’attaque, incluant ou non un champ cyber. Cette représentation déjà utilisée pour décrire la topologie des infrastructures critiques sera enrichie pour appréhender de manière exhaustive l'environnement avec lesquelles elles interagissent. Les interdépendances avec d’autres entités (personnes, autres infrastructures critiques…) sont un élément clef dans la construction de scenarii d’attaques sophistiquées. Cette représentation enrichie doit aboutir à des nouveaux modèles d'attaquants, plus réalistes et mettant en œuvre des composants externes de l'infrastructure mais appartenant à son environnement proche. L'objectif majeur est la recherche de chemins optimaux dans un scénario d'attaque défini par l'objectif de l'adversaire. Cette approche globale, apporte une définition plus fine (et donc plus réaliste) de la sécurité comme étant le coût le plus faible du chemin d'attaque pris sur l'ensemble des adversaires réalistes (polynomiaux, i.e. agissant en temps fini).Le programme de recherche est structuré en cinq étapes. Les deux premières étapes visent à définir les modèles et les objets représentant les infrastructures de sécurité ainsi que les attaquants auxquelles elles sont confrontées. La troisième étape consiste en la définition d'une méthodologie générique pour évaluer la sécurité d'une infrastructure de sécurité. Cette étape doit aboutir à la conception d'heuristiques de recherche de vulnérabilités. Afin de valider les modèles et la méthodologie proposés, le programme de thèse prévoit le développement d'un démonstrateur recherche sous la forme d'une plate-forme d'évaluation. Enfin, la dernière étape consistera à l'évaluation d'un système existant à partir de la plate-forme en mettant en œuvre la méthodologie proposée. L'objectif de cette dernière étape est de valider les modèles et la méthodologie et d'en proposer une amélioration si nécessaire.

En russe, la palatalisation connaît un fort rendement phonologique puisque chaque consonne possède sa contrepartie palatalisée. Les linguistes observent un manque de données articulatoires dans la littérature, notamment sur la production des palatalisées en russe. Le niveau articulatoire est d’autant plus complexe qu’il faut prendre en compte et observer des stratégies individuelles. Notre travail propose de caractériser le geste palatal impliqué dans la réalisation des différents types de consonnes palatalisées et palatales et d’observer la variation de ce geste selon les différents facteurs tels que le locuteur, l’accent et l’effet de la structure syllabique. Dans ce but, nous avons choisi de décrire et de comparer le contour lingual ainsi que le schéma temporel de quatre points de localisation sur la langue. Nos résultats montrent deux stratégies différentes de réalisation des consonnes palatales et palatalisées. On ne relève pas d’impact clair de l’accent sur la cible consonantique atteinte ainsi que sur le timing du geste lingual dans la phase d’atteinte de la cible. Un contrôle plus global de la langue est observé en syllabe atone et en position de coda tandis qu’une certaine indépendance des parties de la langue est relevée en position d’attaque et en syllabe accentuée.

International audience; Recent works on simplified clarinet models using results from dynamic bifurcation theory have allowed to predict the evolution of the amplitude of sound (the amplitude envelope) for a gradual increase of the blowing pressure. The unrealistic model that predicted the amplitudes to attain very small values, far below the precision of a computer, was later corrected by the addition of stochastic noise to the model. The two models are useful in explaining and understanding why the oscillations appear with a delay relative to the threshold of oscillation that is predicted by purely steady-state models. Both the model of the instrument and that of the noise are extremely simplistic, raising the question of its applicability to real instruments. These models can however be made gradually more complex by introducing more realistic details in the reed or in the resonator, and applying parameter profiles with more complex shapes or noise amplitudes. This presentation shows the differences encountered in the time-evolution of the acoustic wave simulated using two models of different complexity, one with an instantaneous reflection function, another with dispersion. The article explores to which extent can the dynamic predictive model be used to describe the time evolution of more realistic models, and hopefully that of the real instrument.

Cette carte croise les attaques de requins répertoriées avec les principaux sites d'écotourisme et les sanctuaires à requins.

National audience; Qu’est-ce qu’un virus ? Comment se fait une attaque virale ? En quoi consiste la recherche en virologie informatique ? Jean-Yves Marion nous apporte des éléments de réponse dans cet épisode du podcast audio.

Des dizaines de milliers de programmes malicieux sont disséminés sur le Web. Ils exploitent les erreurs commises par les utilisateurs ou les failles des logiciels.

Cryptographic protocols are crucial for securing electronic transactions. The confidence in these protocols can be increased by the formal analysis of their security properties. Although many works have been dedicated to standard protocols like Needham-Schroeder, very few address the class of group protocols whose main characteristics are : the specific security properties thatthey must satisfy, and the arbitrary number of participants they imply. This thesis provides two main contributions. The first one deals with the first characteristic of group protocols. For that, we defined a model called the services model which we used to propose a strategy for flaws detection based on constraints solving. The suggested approach allows us to find known attacks and new ones on some group protocols. Some attacks have been also generalized to cover the case of n participants. The second main contribution ofthis thesis consists in defining a synchronous model, that eneralizes standard protocol models by permitting unbounded lists inside messages. This is ensured by the introduction of a new operator called mpair which represents a list built on the same pattern. In this extended model, we have proposed a decision procedure for a particular class of group protocols called the class of well-tagged protocols with autonomous keys, in presence of an active intruder and with composed keys.; Les protocoles cryptographiques sont cruciaux pour sécuriser les transactions électroniques. La confiance en ces protocoles peut être augmentée par l'analyse formelle de leurs propriétés de sécurité.Bien que beaucoup de travaux aient été dédiés pour les protocoles classiques comme le protocole de Needham-Schroeder, très peu de travaux s'adressent à la classe des protocoles de groupe dont les caractéristiques principales sont : les propriétés de sécurité spécifiques qu'ils doivent satisfaire, et le nombre arbitraire des participants qu'ils impliquent. Cette thèse comprend deux contributions principales. La première traite la première caractéristique des protocoles de groupe. Pour cela, nous avons défini un modèle appelé modèle de services que nous avons utilisé pour proposer une stratégie de recherche d'attaques se basant sur la résolution de contraintes. L'approche proposée a permis de retrouver d'anciennes attaques et d'en découvrir de nouvelles sur quelques protocoles de groupe. Certaines attaques ont aussi pu être généralisées pour couvrir le cas de $n$ participants. La deuxième contribution principale de cette thèse consiste à définir un modèle synchrone qui généralise les modèles standards de protocoles en permettant les listes non bornées à l'intérieur des messages. Ceci est assuré par l'introduction d'un nouvel opérateur appelé $mpair$ qui représente une liste construite sur un même patron. Dans ce modèle étendu, nous avons proposé une procédure de décision pour une classe particulière des protocoles de groupe appelée classe de protocoles bien-tagués avec clefs autonomes, en présence d'un intrus actif et avec des clefs composées.

Cryptographic protocols are crucial for securing electronic transactions. The confidence in these protocols can be increased by the formal analysis of their security properties. Although many works have been dedicated to standard protocols like Needham-Schroeder, very few address the class of group protocols whose main characteristics are : the specific security properties that they must satisfy, and the arbitrary number of participants they imply. This thesis provides two main contributions. The first one deals with the first characteristic of group protocols. For that, we defined a model called the services model which we used to propose a strategy for flaws detection based on constraints solving. The suggested approach allows us to find known attacks and new ones on some group protocols. Some attacks have been also generalized to cover the case of n participants. The second main contribution of this thesis consists in defining a synchronous model, that generalizes standard protocol models by permitting unbounded lists inside messages. This is ensured by the introduction of a new operator called mpair which represents a list built on the same pattern. In this extended model, we have proposed a decision procedure for a particular class of group protocols called the class of well-tagged protocols with autonomous keys, in presence of an active intruder and with composed keys., Les protocoles cryptographiques sont cruciaux pour sécuriser les transactions électroniques. La confiance en ces protocoles peut être augmentée par l'analyse formelle de leurs propriétés de sécurité. Bien que beaucoup de travaux aient été dédiés pour les protocoles classiques comme le protocole de Needham-Schroeder, très peu de travaux s'adressent à la classe des protocoles de groupe dont les caractéristiques principales sont : les propriétés de sécurité spécifiques qu'ils doivent satisfaire, et le nombre arbitraire des participants qu'ils impliquent. Cette thèse comprend deux contributions principales. La première traite la première caractéristique des protocoles de groupe. Pour cela, nous avons défini un modèle appelé modèle de services que nous avons utilisé pour proposer une stratégie de recherche d'attaques se basant sur la résolution de contraintes. L'approche proposée a permis de retrouver d'anciennes attaques et d'en découvrir de nouvelles sur quelques protocoles de groupe. Certaines attaques ont aussi pu être généralisées pour couvrir le cas de n participants. La deuxième contribution principale de cette thèse consiste à définir un modèle synchrone qui généralise les modèles standards de protocoles en permettant les listes non bornées à l'intérieur des messages. Ceci est assuré par l'introduction d'un nouvel opérateur appelé mpair qui représente une liste construite sur un même patron. Dans ce modèle étendu, nous avons proposé une procédure de décision pour une classe particulière des protocoles de groupe appelée classe de protocoles bien-tagués avec clefs autonomes, en présence d'un intrus actif et avec des clefs composées.

National audience; L'IPv6 commence à se déployer. Dans un futur proche, la transition sera pleinement entamée. IPv6 et plus particulièrement son protocole de découverte de voisins (Neighbor Discovery Protocol) est sujet à de nombreuses attaques (souvent héritées de l'IPv4). Conscient de ce problème, l'IETF a abouti à la normalisation du protocole de Secure Neighbor Discovery (SEND). Nous verrons dans cet article que ce protocole est sujet à une nouvelle attaque par rejeu. Plusieurs parades seront aussi proposées

This article explores the relationship between international humanitarian and human rights law during non-international armed conflict. It seeks to answer two questions which are crucial in practice, but where the relationship between the two branches and the answers of humanitarian law alone are unclear. First, according to which branch of law may a member of an armed group be attacked and killed? Second, may a captured member of an armed force or group be detained similarly to a prisoner of war in international armed conflicts or as prescribed by human rights? Through application of the lex specialis principle, this article discusses possible answers to these questions.

his paper illustrates how the perceptual constraints explain the observed articulatory and aerodynamic inter-speakers and inter-languages variability between initial nasal consonants (-slash n-slash), and unreleased final consonants (-slash N-slash). In the case of -slash n-slash, only a short, well-defined region around the consonant release needs to be nasalized for the consonant to be perceived as nasal. In the case of -slash N-slash, because of the lack of a nasal release, a longer span is needed for deciphering the presence of nasalisation; contextual nasalization of the preceding vowel can be avoided, but in that case, the nasal murmur has to be long to be perceived (since the first part of the murmur is perceptually masked by the vowel), and-slash or -slash N-slash has to be released. Such observations argue for the division of the nasal consonant into three parts, onset, murmur and release: the realisation of the nasal feature is aligned around the -slash N-slash onset, and around the -slash n-slash offset. It also argues for a better integration of the perceptual requirements and masking phenomena in modelling the observed variability. Finally, it shows that a feature can be realized very differently depending on the position of the phoneme in the syllable.

The Internet has become in three decades, the main foundation of the information era. During this short time, it has gone through two heavy mutations. First, it has gone through a size mutation : from a dozen of connected systems, it has grown to a huge size of more than 285 million hosts. Second it has gone through a form mutation : from mainframes connected by phone lines, it has mutated to wireless-enabled laptops and gigabit routers connected by fiber optics. These mutations are bringing two great challenges to the Internet researchers. First we have to map the Internet topology with accuracy and timeliness in order to improve the efficiency of the forthcoming protocols. Second we have to develop new protocols for providing advanced communication functionalities such as mobility, security and multicast that are adapted to the new devices and usages of the Internet. To this end, we present here contributions that resolve some parts of the challenges described earlier. These are focused on Internet mapping, multicast state storing, host level networking and overlay design., L'Internet est devenu sans conteste en trois décades le support matériel majeur de l'ère de l'information. Durant cette courte période, il a subi deux mutations importantes. Tout d'abord, il a subi une mutation de taille : de quelques dizaines de systèmes interconnectés suivant une topologie fixée et bien connue, l'Internet est passé à une taille phénoménale de plus de 285 millions d'hôtes suivant une topologie désormais à dimension libre dûe au fait que son développement n'est plus centralisé. De plus, il a subi une mutation de forme : nous sommes passés des gros systèmes interconnectés par de simples lignes téléphoniques à des ordinateurs personnels mobiles interconnectés par des technologies radio en bordure de réseau et par des routeurs gigabits reliés par fibre optique en coeur de réseau. Ces deux mutations entraînent deux défis importants pour les chercheurs qui oeuvrent à l'amélioration de l'Internet. Premièrement, il est nécessaire de connaître avec le plus de précision possible, la topologie de l'Internet. Seules des méthodes macroscopiques et statistiques permettent désormais de connaître cette topologie car plus personne n'a autorité sur l'organisation et l'expansion du réseau Internet. De plus, étant donné sa dynamicité, il est aussi souhaitable que cette topologie soit mise à jour fréquemment. Deuxièmement, l'évolution rapide des technologies a fait que les paradigmes qui sous-tendaient à la création des protocoles initiaux de l'Internet ne sont plus valables à l'heure actuelle. Les notions de mobilité, de sécurité et de diffusion quasi-inexistantes à l'origine sont désormais ardemment souhaitées par les utilisateurs mais difficiles à mettre en oeuvre dans les protocoles actuels. Il faut donc trouver les moyens d'offrir ces nouvelles fonctionnalités en conservant les propriétés initiales des protocoles qui ont fait le succès d'Internet. Dans ce mémoire d'habilitation, nous présentons des contributions qui tentent de répondre à certains aspects de ces deux défis majeurs. Nous nous concentrons tout particulièrement sur la cartographie de l'Internet, le stockage d'états dans les routeurs exécutant des protocoles multipoints, l'implémentation de fonctionnalités réseaux dans les hôtes et la conception de réseaux recouvrants.

National audience; La cryptographie a pour but de protéger les communications contre les attaques malveillantes. Cet exposé introductif présente le fonctionnement des grandes familles de systèmes cryptographiques.

Il est clair qu'avec l'expansion des réseaux informatiques et notamment d'Internet, le nombre de menaces envers les machines les composant ne cesse d'augmenter. Il est donc nécessaire de s'en protéger et cela demande donc une connaissance de celles-ci. Il existe plusieurs moyens pour connaître les différentes menaces et un des moyens est l'analyse de trafic malveillant. Au cours de mon stage de Master, j'ai utilisé deux méthodes de capture de trafic : un télescope qui récupère le trafic à destination de tout un sous réseau de classe A soit 224 adresses et un honeynet composé de plusieurs machines réparties sur l'ensemble d'Internet (43 plate-formes de 3 adresses). Le but est donc de comparer ces méthodes pas seulement en terme de résultats mais aussi en terme d'analyses faisables. Une méthode générique utilisant les graphes d'intersections a été utilisée permettant notamment de détecter la distribution des données selon les adresses. Il en est ressorti que pour les adresses attaquées, le télescope présentait une forte redondance pas forcément utile. Concernant les ports visés, le télescope et le honeynet sont tous les deux capables de voir la faible diversité des ports visés mais ils sont complémentaires au niveau des ports visés en eux-mêmes c'est à dire les numéros de port. Le honeynet a quant à lui mis en évidence une certaine sophistication des générateurs de nombres aléatoires des outils d'attaques. Enfin, les 2 méthodes ont permis de mettre en évidence des problèmes de configuration au niveau des pare-feux et des routeurs.

International audience; The aim of this study was to investigate the host selection capacity of the pine shoot beetle, Tomicus piniperda, in the shoot-feeding phase and analyze the chiral and non-chiral host volatiles by means of GC-MS and 2D-GC in five Pinus species originating from France (Pinus sylvestris, P. halepensis, P. nigra laricio, P. pinaster maritima, P. pinaster mesogeensis). Dominating monoterpenes were (-)- alpha -pinene, (+)- alpha -pinene, (-)- beta -pinene and (+)-3-carene. The amounts of the enantiomers varied considerably within and among the species. In a principal component analysis-plot, based on the absolute amounts of 18 monoterpene hydrocarbons, separation of the pine species into two groups was obtained. P. halepensis and P. sylvestris were grouped according to the amount of (+)- alpha -pinene and (+)-3-carene, while P. nigra laricio, P. pinaster maritima and P. pinaster mesogeensis were grouped according to (-)- alpha -pinene and (-)- beta -pinene. P. nigra laricio was the species most attacked and P. halepensis the one least attacked by T. piniperda.

International audience; The parasitism of the horse chestnut leafminer remains at a low level in Europe since many years. As a consequence, horse chestnuts in regions with more than 20 years of C. ohridella infestation still suffer from heavy leafminer attack.However, results of our investigations show changes in the parasitoid complex over the years, reflecting three different strategies exemplified by three parasitoidspecies. (1) The abundance of the most common parasitoid, Minotetrastichus frontalis, seems to remain at the same low level, indicating that the parasitoid does not actively search for special leafminer hosts but rather encounter them by chance. The relative impact of these species decreases as other parasitoids gain importance. (2) Other species, like Pediobius saulius, seem to undergo a slow adaptation process. Their relative importance in the parasitoid complex increases at many locations infested for a long time. In the long run, parasitism of these species may reach levels exhibiting a controlling effect on the leafminer's populations. (3) A third group of species seems to follow the spread of its new host and invade new regions. Starting in the year 2000, the originally eastern European species Cirrospilus talitzkii was recorded from C. ohridella in countries where it has never been found before on any other leafminer. Meanwhile, the species can be found as a regular element of the parasitoid complex of the horse chestnut leafminer in many south and central European countries. To the present, these changes in the parasitoid complex have no significant impact on overall parasitism of C. ohridella. However, there are measurable effects, like an increasing rate of pupal parasitism due to the action of P. saulius. In the long run, changes in the parasitoid spectrum of the horse chestnut leafminer may increase the impact of parasitism and contribute substantially to the control of the invasive species in future.

International audience

National audience

International audience

International audience