361 |
Vers un modèle particulaire de l'équation de Kuramoto-Sivashinsky / Particle models in connection with Kuramoto-Sivashinsky equationPhung, Thanh Tam 06 July 2012 (has links)
Dans cette thèse, on étudie des systèmes de particules en interaction dont le comportement est lié à certaines équations aux dérivées partielles lorsque le nombre de particules tend vers l’infini. L’équation de Kuramoto-Sivashinsky modélise par exemple la propagation de certains fronts de flamme, la topographie de la surface d’une couche mince en cours de croissance, et fait apparaître des structures macroscopiques. Un modèle de particules en interaction par un couplage harmonique des vitesses, attractif aux premières vitesses voisines, répulsive aux secondes voisines, associée à des collisions élastiques, produit des profils de vitesses analogues aux fronts de flamme. On observe également la création et l’annihilation d’agrégats de particules. Un autre modèle, où les particules fusionnent lors des collisions en préservant masse et quantité de mouvement, et avec uniquement attraction au plus proche voisin, permet de retrouver un modèle de type gaz sans pression avec viscosité. Ces modèles sont étudiés théoriquement, en particulier les facteurs de mise à l’échelle des forces d’interaction sont précisés pour obtenir les équations correctes dans la limite du grand nombre de particules. Des simulations numériques confirment la validité et la pertinence des modèles. / This work is concerned by systems of interacting particles, which are linked to partial derivative equations when the particle number becomes large enough. The Kuramoto-Sivashinsky equation is actually modeling as well the front flame propagation as the morphology of growing interfaces, in deposition, for example. Moreover, surface periodical macroscopic structuring is occurring. An interacting particle model through an harmonic velocity coupling, attractive with the first velocity-neighbor and repulsive for the second neighbors, associated with elestic collisions. This model thus provides us with velocity profiles close to those of front flame propagation. Creation and annihilation of particle clusters is also observed. Another model, where particle are merging during collisions, while retaining mass and momentum conservation and with only nearest neighbor attraction, allows to recover a viscous pressureless gas model. These models are studied using mathematical tools. Especially interaction scaling factors are determined for obtaining the suitable equations in the large particle number limit. The numerical simulations confirm the relevance of the models.
|
362 |
Routage et codage réseau inter-session dans les réseaux sociaux mobiles tolérant le délai / Routing and inter-session network coding in delay tolerant mobile social networksShrestha, Neetya 29 April 2015 (has links)
Nous considérons les Réseaux Sociaux Mobiles Tolérant le Délai (DTMSN), constitués de nœuds sans-fil avec une connectivité intermittente, et groupés en communautés sociales. Cette thèse traite de l’analyse et de la conception de stratégies de transfert de l’information dans les DTMSN. Elle est principalement dédiée à l’étude de codage réseau inter-session (ISNC) dans ce but. Le codage réseau est une généralisation du routage et ISNC est connu comme un problème d’optimisation difficile en général, spécifiquement parce qu’il peut vite devenir nuisible si non conçu avec soin. Le premier chapitre répond théoriquement au problème d’optimisation du routage (sans ISNC) dans les DTMSN. Nous généralisons les résultants existants pour les topologies homogènes. Le deuxième chapitre conçoit et modélise un contrôle de ISNC par paire, qui englobe conjointement le contrôle du routage et du codage, avec une contrainte d’énergie. Pour s’attaquer de façon heuristique à l’optimisation de ce contrôle, le troisième chapitre présente une étude expérimentale visant à identifier quand ISNC est bénéfique ou nuisible, en fonction du nombre maximum de copies par paquet, de la charge du réseau, de la taille de buffer des nœuds relais et de la gestion de buffer. Le quatrième chapitre présente la conception de critères décentralisés de codage, pour déclencher en ligne le mélange de sessions si ISNC peut être bénéfique. Nous testons ces critères sur des topologies simples et sur des traces réelles, en expliquant les limites de notre approche. / We consider Delay Tolerant Mobile Social Networks (DTMSN), made of wireless nodes with intermittent connections and clustered into social communities. This thesis deals with the analysis and design of information transfer strategies in DTMSN. It is mostly dedicated to investigate the use of Inter-Session Network Coding (ISNC) towards this goal. Network coding is a generalization of routing and ISNC is known as a difficult optimization problem in general, specifically because it can easily get detrimental, compared to no coding, if not designed carefully. The first part of this thesis addresses theoretically the optimization problem of the (non-ISNC) routing policy in DTMSNs. We generalize the existing results for homogeneous topologies. The second part of the thesis designs and models a parameterized pairwise ISNC control policy that encompasses both routing and coding controls with an energy constraint. In order to tackle heuristically the optimization problem, the third chapter presents an experimental study of pairwise ISNC to investigate when it can be beneficial or detrimental. We examine the impact on ISNC performance of a number of parameters, such as the constraint on the maximum number of copies per packet, the network load, the buffer size of the relay nodes and the buffer management policies. The fourth chapter addresses the design of decentralized coding criteria allowing to trigger online session mixing if ISNC may be beneficial. We test these coding criteria on both toy topologies and real-world traces, pointing out and explaining the limits of our approach.
|
363 |
Gestion de la mobilité dans les réseaux de capteurs sans fil / Mobility management of wireless sensor networksRoth, Damien 23 November 2012 (has links)
Les réseaux de capteurs sans fil sont composés de petits équipements embarqués et autonomes qui coopèrent pour surveiller leur environnement de manière non-intrusive. Les données collectées par chaque capteur (tels que la température, des mouvements, des sons, etc.) sont remontées de proche en proche vers un puits de collecte en utilisant des technologies de communication sans fil. De plus en plus d'applications requièrent le placement des capteurs sur des éléments mobiles. Hors, à l'instar des équipements des réseaux IP, les nœuds capteurs pourront traverser plusieurs réseaux durant leurs déplacements. Cette thèse s'intéresse à cette problématique et propose deux solutions pour gérer ces nœuds mobiles. Notre première contribution, le protocole Mobinet, utilise la sur-écoute liée au médium radio pour détecter le voisinage d'un nœud mobile et ainsi lui permettre de gérer sa mobilité. D’autre part, l'intégration de nombreux nœuds mobiles dans les réseaux visités va augmenter le nombre de paquets transitant au sein de ces réseaux. Notre seconde proposition, le protocole CLOMAC, a pour objectif de réduire les congestions pouvant survenir en créant dynamiquement des chemins alternatifs vers le puits. / Wireless sensor networks are composed of small autonomous embedded devices which cooperate to monitor their environment in a less intrusive fashion. Data collected by each sensor node (such as temperature, movements, sounds, etc.) are reported to a sink station hop-by-hop using wireless transmissions. More and more application require sensors to be placed on mobile elements. However, in the manner of IP devices, mobile nodes may cross differents networks during their trips. This thesis focuses on this problematic and propose solutions to manage thoses mobile nodes. Our first contribution, the Mobinet protocol, uses the overhearing of the wireless medium to detect nodes in the vicinity of a mobile node and use this information to manage its mobility. Besides, integrating numerous mobile nodes will increase data trafic the visited networks. Our second proposition, the CLOMAC protocol, aims to reduces congestions which may appear by creating dynamic alternative path toward the sink station.
|
364 |
Modélisation et commande des systèmes de manipulation sans contact. : Vers l'amélioration du diagnostic en endoscopie digestive. / Modeling and contrôl of contractless magnetic manipulation systems : Towards improving diagnosis in digestive endoscopyVeron, Baptiste 28 November 2014 (has links)
Les techniques de diagnostic actuellement utilisées en endoscopie digestive ne permettentpas une observation complète et précise de l’intestin grêle. Les capsules endoscopiquestentent de répondre à cette problématique, mais le médecin n’a aucune maîtrise de leurdéplacement une fois qu’elles sont avalées par les patients. Dans ce contexte, les travauxdéveloppés dans cette thèse portent sur l’utilisation des champs magnétiques afin demanipuler un objet (comme une capsule) sans contact sur un large espace de travail. Pourcela, nous étudions les systèmes de manipulation magnétique à électroaimants mobiles.Nous étudions dans un premier temps la manière de modéliser le champ magnétiquecréé par un électroaimant. Nous développons un modèle hybride (analytique recalé surdes mesures) prenant en compte le noyau ferromagnétique des électroaimants. Dans unsecond temps, nous nous intéressons à un système générique de manipulation magnétique,composé de n électroaimants pouvant se déplacer dans tout l’espace. Nous développons unmodèle de ce système, en intégrant les mobilités de chacun des électroaimants. Ce modèleest ensuite linéarisé, ce qui nous permet d’introduire une commande linéarisante. Cettecommande permet une gestion indépendante du déplacement de chacun des électroaimants,ainsi que du courant qui les traverse. Enfin, les développement théoriques sont testés ensimulation et sur un dispositif expérimental. / Diagnostic techniques currently used in gastrointestinal endoscopy do not allow a completeand accurate observation of the small bowel. Endoscopic capsules were designed to solvethis problem, but the doctor cannot control their movement once they are swallowed bypatients. In that context, the work developed in this thesis focuses on the use of magneticfields to manipulate an object (such as a capsule) without contact, on a large workspace.For this, we study magnetic systems with mobile electromagnets. We study first how tomodel the magnetic field created by an electromagnet. We develop an analytical modeltaking into account the ferromagnetic core of electromagnets. Then, we study a genericsystem composed of n electromagnets which can move throughout space. We develop amodel of the system, integrating the mobility of each of the electromagnets. This modelis then linearized, allowing us to introduce a linearizing control. This command allowsindependent management of the movement of each of the electromagnets, and the currentflowing in it. Finally, the model and the command are tested in simulation and on anexperimental device.Keywords: Magnetism,
|
365 |
Méthodologie d'évaluation de la durée de vie des assemblages électroniques sans plomb en environnements thermique et vibratoire / Fatigue life prediction methodologies of SAC305 assemblies subjected to thermal and vibrational loadingsLibot, Jean-Baptiste 21 June 2017 (has links)
Depuis l’entrée en vigueur de la directive RoHS (Restriction of Hazardous Substances Directive) interdisant l’utilisation du plomb, les industriels des secteurs aéronautique et militaire se doivent de comprendre le comportement en fatigue des nouveaux alliages sans plomb afin de pouvoir estimer leur durabilité en conditions réelles d’utilisation. En se basant sur les résultats d’essais accélérés et les modélisations éléments-finis associées, les modèles de fatigue mécanique et thermomécanique correspondant aux brasures SAC305 sont développés. Le 1er chapitre traite de la caractérisation mécanique et optique de cet alliage sans plomb. Après une étude bibliographique poussée, les propriétés élastiques et viscoplastiques de l’alliage SAC305 sont établies à partir d’essais d’écrouissage, de traction et de nanoindentation. La courbe d’hystérésis contrainte - déformation en cisaillement est en outre tracée via l’utilisation de jauges de déformation. Des analyses EBSD sont finalement réalisées afin d’identifier les caractéristiques microstructurales des joints de brasure SAC305 après refusion. Le chapitre 2 a pour objectif d’évaluer la durabilité des interconnexions SAC305 soumises à des chargements en vibrations et en chocs. L’hypothèse élastique est retenue et les paramètres matériaux du modèle de Basquin sont déterminés. À partir de l’algorithme de comptage rainflow et de la loi de Miner, une méthode d’évaluation de la durabilité en vibration aléatoire est donnée. La tenue mécanique en chocs des brasures SAC305 est enfin discutée et comparée à l’alliage SnPb63Ag2. Le dernier chapitre porte sur l’étude de la fatigue thermomécanique des joints brasés SAC305. En utilisant le modèle viscoplastique unifié d’Anand, la loi de fatigue énergétique correspondant est développée. Le phénomène de recristallisation caractéristique de l’endommagement thermomécanique des brasures SAC305 est finalement investigué à partir d’analyses EBSD. / Temperature and vibration-induced solder joint fatigue are main reliability concerns for aeronautic and military industries whose electronic equipment used in the field is required to remain functional under harsh loadings. Due to the RoHS directive which eventually will prevent lead from being utilized in electronic systems, there is a need for a better understanding of lead-free solder behavior used in thermal en vibrational environments. This study reports fatigue life prediction methodologies developed to assess the durability of SAC305 solder joints subjected to temperature variations and vibration loadings. Based on accelerated tests and finite element analysis, solder joint fatigue models corresponding to each environment are developed. Chapter 1 discusses SAC305 solder mechanical characterization and its microstructural features. An indepth literature review is conducted and SAC305 solder elastic and viscoplastic properties are determined through tensile, creep and nanoindentation tests. An approach never considered for lead-free solder joints is also applied to plot the SAC305 shear strain - stress hysteresis loop. EBSD analysis is finally performed in order to identify the microstructural “finger print” of asreflowed SAC305 solder joints. Chapter 2 aims to determine the polycyclic fatigue curve corresponding to SAC305 interconnects damage under harmonic vibrations. Considering the rainflow counting algorithm along with the Miner’s linear damage rule, the corresponding Basquin’s model is used as an input data for assessing SAC305 durability under random vibrations. SAC305 endurance under shock loading is finally discussed and compared with SnPb36Ag2 assemblies. The final chapter deals with the thermomechanical fatigue assessment of SAC305 solder joints. An energy-based model is developed using Anand unified viscoplastic law. EBSD analysis is finally conducted to assess the SAC305 microstructure evolution throughout thermal cycling characterized by -Sn grains recrystallization.
|
366 |
Contribution à l'application des capteurs en technologie MEMS pour la commande sans fils des actionneurs électriques / Contribution to MEMS Technology sensors for wireless controls of electrical actuatorsAkacha Helal, Ibtissem 08 December 2016 (has links)
Ces travaux de recherche s’inscrivent dans le cadre d’une coopération scientifique entre le Laboratoire Plasma et Conversion d’Energie(LAPLACE) à l’Institut National Polytechnique de Toulouse en France et le Laboratoire des Systèmes Electriques (LSE) de l’Ecole Nationale d’Ingénieurs de Tunis en Tunisie. L’objectif principal de cette étude consiste à proposer une structure de « smart-machines » en vue de l’intégrer dans un réseau de systèmes supervisés et pilotés à distance. A cette fin, nous développons de nouveaux types de capteurs embarqués intelligents et autonomes pour assurer à la fois la supervision et le contrôle des actionneurs électriques tournants. Les différentes contraintes, comme les dimensions, la mesure in situ (directement sur le rotor de ces machines), la robustesse de ces capteurs en milieu à forts champs électromagnétiques, et aussi le faible coût du produit ont orienté notre choix vers les accéléromètres en technologie MEMS (Micro Système Electro Mécanique). Ces composants présentent plusieurs avantages, d’une part par leurs faibles dimensions, et d’autre part par leurs faibles consommations d’énergie. De plus, de par leurs conceptions, les tensions électriques issues des différentes sorties de ces composants sont proportionnelles à des déplacements de petites masses, qui nécessitent la mise en place de différents algorithmes de traitement du signal afin d’extraire la vitesse de rotation à partir ces actionneurs. Cela nous a conduits à employer la variance d’Allan et des algorithmes génétiques pour obtenir la meilleure qualité des mesures données par ces capteurs. Dans la première partie, nous développons une maquette de mesure de la vitesse de rotation d’un moteur en utilisant un système de balais donc une transmission filaire. Ensuite dans la deuxième partie un système sans fils a été mis en place à la fois sur une machine à courant continu et sur une machine asynchrone de 1,5 kW. Ces études nous ont permis d’obtenir, en plus d‘une mesure de la vitesse de rotation et de l’accélération du moteur, une méthode fiable et apte à déceler les défauts de désalignement de l’axe de rotation du moteur ainsi que les vibrations de ce dernier. Enfin, une IHM (Interface Homme Machine) a été conçue, afin de rendre, quasi-transparents vis-à-vis de l’utilisateur les différents post-traitements. Globalement, notre approche permet d’obtenir un système de capteur de vitesse de rotation aussi fiable que ceux existants, avec l’avantage d’être intégré au sein du rotor avec la possibilité de superviser les défauts de désalignement ou de vibration d’un actionneur et ensuite de les transmettre à distance sans fils. / These research works join within the framework of scientific cooperation between two laboratories: LAPLACE at National Polytechnic Institute of Toulouse in France and LSE at National School of Engineers from Tunis in Tunisia. The main objective of this study consists in proposing a structure of “smart-machines” to introduce them in a network of systems supervised and remote controlled. Consequently, we develop new type of intelligent and autonomous embedded sensors to guarantee simultaneously the supervision and the control of the rotating electrical actuators. The several constraints such as : the dimensions, the measure in situ (directly on the rotor of these machines), the robustness of these sensors in very strong electromagnetic field environment, and also the low cost of the product, have oriented our choice to accelerometers in technology MEMS (Micro Electro Mechanical System). These components present different advantages, on one hand by their low dimensions, and on the other hand by their low energy consumption. Moreover, because of their designs, the electrical voltages obtained from the various outputs of these components are proportional to the small masses movement. The using of them requires the implementation of several signal processing algorithms to extract the rotation speed from these actuators. This led us to use the Variance of Allan and the Genetic Algorithms, to obtain the best certainty of measurements given by these sensors. So, in the first part of this study we develop a measurement device of the rotation speed of an actuator by using a system of brooms thus a wired transmission. Then, in the second part a wireless system was set up at the simultaneously on a direct current (DC) machine and on an induction machine of 1,5 kW. These studies allowed proposing, besides a measure of the electrical actuator rotation speed and its acceleration, the reliable method able to determine the fault of misalignment of the actuator rotation axis as well as its vibrations. Finally, an MMI (Man Machine Interface) was designed, to make quasi-transparent according to the user, the different post signal processing’s. Globally, our approach allows obtaining rotation speed sensor system as reliable as those existing, with the advantage to be integrated within the rotor with the possibility to supervise the actuator axis misalignment fault or its vibration and then to transmit them remote by wireless.
|
367 |
Autorité et responsabilité administrative.Fortat, Nicolas 29 March 2011 (has links)
La responsabilité administrative est un champ d’étude qui a conféré ses lettres de noblesses au droit administratif ainsi qu’à son juge. Il est composé de jurisprudences classiques à partir desquelles le juge s’essaye à la modernité sous l’influence des mouvements de société et plus concrètement du droit international. La doctrine s’essaye tant bien que mal à ordonner des solutions qui paraissent de prime abord bousculer l’ordre établi. Pourtant la confrontation de ce champ d’étude à la notion d’autorité devait inéluctablement mettre à jour la cohérence de la jurisprudence en la matière tant la responsabilité administrative s’applique avant tout aux hypothèses où le dommage est le fait de l’Administration dans le cadre de ses activités exorbitantes du droit commun. Mais encore fallait-il élaborer une définition juridique de l’autorité car l’apparente proximité de cette dernière avec l’application de règles et moyens exorbitants du droit commun emportait une certaine confusion parmi ses différentes significations.A choisir entre son sens organique et matériel, c’est bien évidemment ce dernier qui a retenu l’attention tant l’étude de la responsabilité administrative dans ses rapports avec la notion d’autorité au sens organique ne pouvait aboutir qu’à une analyse sans intérêt. Dans son acception matérielle, l’autorité se définit alors comme un pouvoir juridique de contrainte. Ainsi la confrontation de cette définition à la responsabilité administrative devait emporter pour le moins deux solutions qui constituent chacune un axe de la présente recherche. D’une part, l’identification des conditions dans lesquelles l’autorité est exercée, emporte la détermination de l’imputabilité. D’autre part, la prise en compte de l’étendue de l’autorité exercée sur autrui, qu’il s’agisse de son intensité ou encore de son emprise, détermine le régime de la responsabilité administrative. / No summary available
|
368 |
Développement d'un matériau piézoélectrique sans plomb pour la réalisation de sondes ultrasonores haute fréquence / Development of lead free materials for high resolution ultrasonographyRichardot, Thomas 01 March 2016 (has links)
L’échographie haute résolution est une technique d’imagerie médicale permettant une observation du corps de très bonne définition, à faible profondeur (quelques micromètres). Pour réaliser cela, des ondes ultrasonores sont utilisées (quelques dizaines de mégahertz), produites par l’élément actif de la sonde: un film piézoélectrique. Pour atteindre de telles fréquences, cet élément doit être d’une épaisseur déterminée: de l’ordre de la dizaine de micromètres. Aujourd’hui, le PZT, zirconotitanate de plomb, est le matériau piézoélectrique démontrant les meilleures propriétés pour de telles applications. Mais des évolutions législatives sont en cours pour restreindre son utilisation, du fait des risques que représente le plomb pour la santé et l’environnement. Le défi actuel dans le domaine des matériaux piézoélectriques est de trouver un matériau de substitution. C’est l’objectif de cette étude. Un matériau piézoélectrique sans-plomb choisi dans la littérature, le BHT, ou titanate de baryum dopé à l’hafnium, est étudié, dans le but de remplacer le PZT dans les appareils échographiques. Le procédé sol-gel composite est ensuite utilisé pour sa mise en œuvre sous forme de films épais piézoélectriques. / Ultrasonography is a medical imaging technique that allows exploring, with high resolution, a body in a few micrometers depth. For this purpose, ultrasonic waves , produced with a piezoelectric film, are used. This film must have a thickness of at least few micrometers to yield megahertz waves. Nowadays , PZT , lead zirconate titanate, is the key material for such applications. But since recently, a change has come in lead exploitation. It is recommended by the authorities to use another material when it is possible, which became a big challenge in piezoelectric material researches . Therefore, the aim of this study is to investigate a lead-free piezoelectric material in the purpose to use it in ultrasound echography. The selected material is BHT, barium hafnate titanate, and it is shaped as a thick film using sol-gel composite proceed.
|
369 |
Protocols and models for the security of wireless ad-hoc networks / Protocoles et modèles pour la sécurité des réseaux ad-hoc sans-filJamet, Raphaël 03 October 2014 (has links)
Dans cette thèse, nous nous intéressons à plusieurs méthodes pour améliorer la sécurité des réseaux sans fil ad-hoc. Ces réseaux, ainsi que la sous-famille des réseaux de capteurs sans fil, sont une des solutions les plus intéressantes pour de nombreux problèmes, comme par exemple la collecte de données dans une large zone, ou bien la création d'infrastructure de communication après une catastrophe. Ces réseaux sont par nature collaboratifs, ce qui les rend très vulnérables à d'éventuels attaquants. Pour les protéger, nous étudions la sécurité des protocoles conçus pour ces réseaux. Premièrement, nous proposons SR3 (pour Secure and Resilient Reputation-based Routing), un algorithme de routage sécurisé et résilient pour le routage convergent (tous-vers-un) dans les réseaux de capteurs sans fil. SR3 route ses messages selon une mesure de réputation qui est bâtie sur des informations fiables. Ce protocole garantit la confidentialité de ses données, et l'inforgeabilité de ses paquets. Nous avons prouvé formellement ces propriétés avec deux outils de vérification : Scyther et CryptoVerif. Nous avons montré expérimentalement la résilience de SR3 quand confronté à divers scénarios d'attaque, et nous avons comparé nos résultats à plusieurs algorithmes de routage de la litérature. L'évaluation a montré que la résilience et l'équité fournies par SR3 sont meilleures que celles des autres protocoles, et cette distinction est accentuée si le réseau est peu dense. De plus, et contrairement aux autres protocoles, SR3 est capable de s'auto-adapter aux changements de comportement des attaquants afin d'assurer une qualité de service satisfaisante. Les analyses de la sécurité des protocoles de routage reposent presque toujourssur des simulations, qui évaluent la capacité du protocole à délivrer ses messages aux bons noeuds. Il existe plusieurs définitions différentes pour concevoir la sécurité du routage, mais à notre connaissance, elles considèrent seulement les protocoles de source routing, où les routes sont déterminées avant que le message ne soit envoyé. Nous proposons la notion de corruptibilité, une définition calculatoire et quantitative pour la sécurité du routage basée sur la capacité d'un attaquant à altérer les routes empruntées par un message. Nous illustrons ensuite ces définitions par plusieurs analyses de protocoles. Enfin, nous étudions les systèmes de détection d'intrusions (IDS) pour réseaux sans fil ad-hoc, et plus spécifiquement les sources de données utilisées pour leurs mécanismes de décision. Nous classifions celles-ci en fonction du niveau de coopération qu'elles requièrent, et en fonction de l'origine de leurs données. Nous proposons ensuite InDICE, un outil d'aide à la décision qui étant donné un IDS, permet de découvrir automatiquement quelles attaques seront indétectables par les sources de données qu'utilise cet IDS. Enfin, nous utilisons cet outil pour découvrir deux vulnérabilités dans des IDS de la littérature. / In this document, we focus on ways of increasing the security of wireless ad-hoc networks. These networks, and more specifically wireless sensor networks, look increasingly like the right answer to a lot of problem, such as data collection over a large area, or providing emergency network infrastructure after a disaster. They are also inherently exposed to malicious intents due to their collaborative nature. In order to protect them, we focus on the security aspects of the protocols built for these networks. We first propose a Secure and Resilient Reputation-based Routing protocol, called SR3. This protocol routes messages according to a reputation metric built using only trusted information. This protocol achieves data confidentiality and data packet unforgeability, which we prove formally using two verification tools: CryptoVerif and Scyther. We experimentally show the resiliency of SR3 against various attack scenarios, and we compared our results to several routing algorithms of the literature. This evaluation shows that both the resiliency and fairness accomplished by SR3 are better than for those others protocols, especially when the network is sparse. Moreover, and unlike previous solutions, if the compromised nodes behavior changes, then SR3 will self-adapt in order to ensure an acceptable quality of service. Analyses of routing protocols security are nearly always supported by simulations, which often evaluate the ability to deliver messages to a given destination. Several competing definitions for secure routing exist, but to our knowledge, they only address source routing protocols. We propose the notion of incorruptibility, a quantitative computational definition for routing security based on the attacker's ability to alter the routes used by messages. These definitions are then illustrated with several routing algorithms. Finally, we study Intrusion Detection Systems (IDS) for WANET, and more specifically their inputs. These systems provide a supplementary layer of defenses for WANETs, and they are able to easily detect attacks who are complicated for the network protocols. We classify the different inputs used by the decision process of these IDS, according to their level of required cooperation, and the source of their data. We then propose the InDICE tool, a decision aid which, given an IDS, allows automated discovery of undetectable attacks according to the inputs used by that IDS. In the end, we apply our framework to discover weaknesses in two existing IDS.
|
370 |
Sociologie des sans-papiers : processus d’illégalisation des migrant.e.s et expériences clandestines (Paris, Buenos Aires, Montréal) / Sociology of the undocumented : illegalisation processes and the clandestine experience (Paris, Buenos Aires, Montréal)Veron, Daniel 19 April 2017 (has links)
Cette thèse porte sur les migrants illégalisés, étrangers dont la présence sur un territoire national est en contradiction avec la législation sur le séjour des extranationaux, dans trois pays : la France, l’Argentine et le Canada. L’illégalité migratoire doit dans un premier temps être comprise comme un processus historique d’illégalisation des mobilités migrantes par l’institution frontière. Un tel processus prend racines dans la constitution des Etats-nations, puis des politiques migratoires qu’ils mettent en œuvre. S’il est important de prendre en compte les spécificités historiques et géographiques propres à chaque pays, cette perspective donne à voir dans chaque cas la construction progressive d’un « espace de la clandestinité migratoire ». À partir d'une ethnographie fine, ce travail se propose dans un second temps faire la sociologie des pratiques, procédures, usages, opérations, autrement dit des tactiques des acteurs qui évoluent dans ces espaces. Se découvrent alors des lieux où peuvent se dire les expériences, où se construit une autonomie, où s’élabore une argumentation politique. Ceux que l’on nomme parfois les sans-papiers échappent ainsi – au moins en partie – à la négation sociale dont ils sont l'objet, et s'affirment comme étant dotés, au même titre que n'importe qui, d'une intelligence à la fois situationnelle et réflexive. C'est bien cette dialectique entre un ordre et les pratiques qui lui sont hétérogènes, voire subversives, que cette thèse met à jour. / This thesis examines the situation of illegalised migrants, that is of foreigners whose presence on a national territory is contrary to its legislation concerning the stay of non-nationals, in three countries: France, Argentina and Canada. Migratory illegality needs first to be understood as a historical process of illegalisation of migrant mobilities through the action of the border institution. This process has been rooted in the constitution of Nation-States, then in the migration policies they developed and implemented. Although it is important to take into account the historical and geographical specificities of each country, an analysis in terms of process reveals in each case the progressive construction of a “space of migratory clandestinity”. In a second stage, based on a detailed ethnography, I develop a sociology of practices, procedures, uses and operations – in other words of the tactics adopted by the actors evolving there. Places then appear where experiences can be told, where a certain degree of autonomy can be built and where a political argumentation can be elaborated. So-called “undocumented” people can thus escape - at least partially - from this statute socially imposed upon them to claim, just like anyone else, an intelligence that is both situational and reflexive. Understanding this dialectic between an order and practices that are heterogeneous to it, or indeed subversive of it, is the main objective of this thesis.
|
Page generated in 0.0775 seconds