Nous avons proposé une architecture de sécurité apte à répondre aux besoins généraux de sécurité de des systèmes hétérogènes distribués ouverts à grande échelle. Nous avons procédé à d'importants travaux de terrain pour déterminer les limitations et les failles des solutions de sécurité actuellement proposées pour ces systèmes et pour établir quels sont les véritables besoins que doit satisfaire l'architecture de sécurité, de manière à réduire les pertes de performances et à assurer une sécurité robuste. Nous avons notamment identifié l'analyse des besoins, l'analyse du risque, la modélisation des menaces et la faisabilité de mise en œuvre. Le concept de virtualisation des services de sécurité est introduit pour les services en question. Il est nécessaire de disposer d'une totale liberté de choix des mécanismes de sécurité sous-jacents. Du point de vue de la sécurité, la virtualisation de la définition d'un service tient compte des besoins de sécurité qui permettent d'accéder à ce service. Il permet à chaque terminaison participante d'exprimer la politique qu'elle souhaite voir appliquer lorsqu'elle s'engage dans un échange sécurisé avec une autre terminaison. Un mécanisme configurable d'appel des services de sécurité est proposé pour répondre aux besoins de sécurité des différentes catégories d'utilisateurs. Cette approche permet de faire évoluer l'infrastructure de sécurité avec des effets moindres sur les fonctionnalités de gestion des ressources, qui sont encore en pleine phase d'évolution. En outre, elle permet aux utilisateurs et aux fournisseurs de ressources de configurer l'architecture de sécurité en fonction de leurs besoins et de leur niveau de satisfaction.

Cette thèse porte sur l'étude de propriétés dynamiques de modèles quantiques portés hors équilibre. Nous introduisons en particulier des modèles généraux de type spin-boson, qui décrivent par exemple l'interaction lumière-matière ou certains phénomènes de dissipation. Nous contribuons au développement d'une approche stochastique exacte permettant de d'écrire la dynamique hors équilibre du spin dans ces modèles. Dans ce contexte, l'effet de l'environnement bosonique est pris en compte par l'intermédiaire des degrés de liberté stochastiques supplémentaires, dont les corrélations temporelles dépendent des propriétés spectrales de l'environnement bosonique. Nous appliquons cette approche à l'étude de phénomènes à N-corps, comme par exemple la transition de phase dissipative induite par un environnement bosonique de type ohmique. Des phénomènes de synchronisation spontanée, et de transition de phase topologique sont aussi identifiés. Des progrès sont aussi réalisés dans l'étude de la dynamique dans les réseaux de systèmes lumière-matière couplés. Ces développements théoriques sont motivés par les progrès expérimentaux récents, qui permettent d'envisager une étude approfondie de ces phénomènes. Cela inclut notamment les systèmes d'atomes ultra-froids, d'ions piégés, et les plateformes d'électrodynamique en cavité et en circuit. Nous intéressons aussi à la physique des systèmes hybrides comprenant des dispositifs à points quantiques mésoscopiques couplés à un résonateur électromagnétique. L'avènement de ces systèmes permet de mesures de la formation d'états à N-corps de type Kondo grâce au résonateur; et d'envisager des dispositifs thermoélectriques. / This thesis deals with the study of dynamical properties of out-of-equilibrium quantum systems. We introduce in particular a general class of Spin-Boson models, which describe for example light-matter interaction or dissipative phenomena. We contribute to the development of a stochastic approach to describe the spin dynamics in these models. In this context, the effect of the bosonic environment is encapsulated into additional stochastic degrees of freedom whose time-correlations are determined by spectral properties of the bosonic environment. We use this approach to study many-body phenomena such as the dissipative quantum phase transition induced by an ohmic bosonic environment. Synchronization phenomena as well as dissipative topological transitions are identified. We also progress in the study of arrays of interacting light-matter systems. These theoretical developments follow recent experimental achievements, which could ensure a quantitative study of these phenomena. This notably includes ultra-cold atoms, trapped ions and cavity and circuit electrodynamics setups. We also investigate hybrid systems comprising electronic quantum dots coupled to electromagnetic resonators, which enable us to provide a spectroscopic analysis of many-body phenomena linked to the Kondo effect. We also introducethermoelectric applications in these devices.

Un Système Multi-Agents (SMA) ouvert est un système extensible et évolutif. Son extension se traduit par la possibilité d'ajouter de nouveaux agents mais aussi de gérer leurs retraits. De plus, un SMA ouvert doit permettre l'évolution de ses agents. Nous nous sommes intéressés à la conception de SMA ouverts du point de vue de la représentation des autres maintenue par chaque agent du système. L'ouverture peut conduire la représentation qu'un agent a des autres, à devenir fausse ou incomplète. Dans les travaux existants, l'ouverture d'un SMA est gérée de manière centrale par une entité regroupant une représentation de chaque agent du système. Cette entité, qui selon les cas est un " broker ", un faciliteur ou des pages jaunes, fournit sur demande la connaissance nécessaire à un agent pour raisonner sur les autres agents de son système. Outre le coût de l'accès à ces informations, cette approche présente l'inconvénient de dépendre du bon fonctionnement de cette entité critique et indispensable à l'ouverture et à la coopération. La première étape de ce travail a été d'analyser dans quelle mesure on peut distribuer la tâche consistant à intégrer de nouveaux agents. Cette analyse nous a conduit à définir un modèle social partiel d'agent que nous appelons sa facette accueillante. Un agent accueillant est un agent ayant la faculté d'aider un nouvel agent à intégrer le système auquel il appartient. Une société composée d'agents accueillants est un SMA ouvert où l'intégration de nouveaux agents est assurée par une activité collective et coopérative faisant intervenir plusieurs agents accueillants. Le développement d'une approche distribuée de la conception de SMA ouverts nous a ensuite amené à généraliser le problème de l'ouverture. Nous avons repris notre définition des tâches associées à la gestion de l'ouverture d'un SMA pour proposer un modèle général de conception de SMA ouvert autorisant le choix d'une approche centralisée ou distribuée.

De nombreux phénomènes de physique quantique ne peuvent être compris que par l'analyse des systèmes ouverts. Un appareil de mesure, par exemple, est un système macroscopique en contact avec un système quantique. Ainsi, tout modèle d'expérience doit prendre en compte les dynamiques propres aux systèmes ouverts. Ces dynamiques peuvent être complexes : l'interaction du système avec son environnement peut modifier ses propriétés, l'interaction peu créer des effets de mémoire dans l'évolution du système, . . . Ces dynamiques sont particulièrement importantes dans l'étude des expériences d'optique quantique. Nous sommes aujourd'hui capables de manipuler individuellement des particules. Pour cela la compréhension et le contrôle de l'influence de l'environnement est crucial. Dans cette thèse nous étudions d'un point de vue théorique quelques procédures communément utilisées en optique quantique. Avant la présentation de nos résultats, nous introduisons et motivons l'utilisation de la description markovienne des systèmes quantiques ouverts. Nous présentons a la fois les équations maîtresses et le calcul stochastique quantique. Nous introduisons ensuite la notion de trajectoire quantique pour la description des mesures indirectes continues. C'est dans ce contexte que l'on présente les résultats obtenus au cours de cette thèse. Dans un premier temps, nous étudions la convergence des mesures non destructives. Nous montrons qu'elles reproduisent la réduction du paquet d'onde du système mesuré. Nous montrons que cette convergence est exponentielle avec un taux fixe. Nous bornons le temps moyen de convergence. Dans ce cadre, en utilisant les techniques de changement de mesure par martingale, nous obtenons la limite continue des trajectoires quantiques discrètes. Dans un second temps, nous étudions l'influence de l'enregistrement des résultats de mesure sur la préparation d'état par ingénierie de réservoir. Nous montrons que l'enregistrement des résultats de mesure n'a pas d'influence sur la convergence proprement dite. Cependant, nous trouvons que l'enregistrement des résultats de mesure modifie le comportement du système avant la convergence. Nous retrouvons une convergence exponentielle avec un taux équivalent au taux sans enregistrement. Mais nous trouvons aussi un nouveau taux de convergence correspondant a une stabilité asymptotique. Ce dernier taux est interprété comme une mesure non destructive ajoutée. Ainsi l'état du système ne converge qu'après un temps aléatoire. A partir de ce temps la convergence peut être bien plus rapide. Nous obtenons aussi une borne sur le temps moyen de convergence. / Many quantum physics phenomena can only be understood in the context of open system analysis. For example a measurement apparatus is a macroscopic system in contact with a quantum system. Therefore any experiment model needs to take into account open system behaviors. These behaviors can be complex: the interaction of the system with its environment might modify its properties, the interaction may induce memory effects in the system evolution, ... These dynamics are particularly important when studying quantum optic experiments. We are now able to manipulate individual particles. Understanding and controlling the environment influence is therefore crucial. In this thesis we investigate at a theoretical level some commonly used quantum optic procedures. Before the presentation of our results, we introduce and motivate the Markovian approach to open quantum systems. We present both the usual master equation and quantum stochastic calculus. We then introduce the notion of quantum trajectory for the description of continuous indirect measurements. It is in this context that we present the results obtained during this thesis. First, we study the convergence of non demolition measurements. We show that they reproduce the system wave function collapse. We show that this convergence is exponential with a fixed rate. We bound the mean convergence time. In this context, we obtain the continuous time limit of discrete quantum trajectories using martingale change of measure techniques. Second, we investigate the influence of measurement outcome recording on state preparation using reservoir engineering techniques. We show that measurement outcome recording does not influence the convergence itself. Nevertheless, we find that measurement outcome recording modifies the system behavior before the convergence. We recover an exponential convergence with a rate equivalent to the rate without measurement outcome recording. But we also find a new convergence rate corresponding to an asymptotic stability. This last rate is interpreted as an added non demolition measurement. Hence, the system state converges only after a random time. At this time the convergence can be much faster. We also find a bound on the mean convergence time.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Cette thèse présente le modèle d'un mécanisme de raisonnement social fondé sur la théorie de la dépendance. Ce modèle permet à un agent de raisonner sur autrui et plus particulièrement de calculer ses relations et situations de dépendance. Un agent est dépendant d'un autre si celui-ci peut l'aider/l'empêcher d'atteindre un de ses buts. Nous considérons notre mécanisme de raisonnement social comme un composant essentiel pour la conception d'agents artificiels réellement autonomes, évoluant dans un univers multi-agents ouvert. La notion d'ouverture désigne la capacité d'ajouter ou de retirer dynamiquement dans le système des agents. Comme dans ces systèmes l'organisation des agents ne peut pas être spécifiée pendant la phase de conception, la résolution coopérative de problèmes est fondée sur la formation dynamique de coalitions. Dans ce contexte, des agents doivent être capables de s'adapter aux changements dynamiques du système, en particulier en évaluant pendant la phase de résolution si leurs buts sont réalisables et si leurs plans sont exécutables. Comme nous ne supposons pas que les agents soient bienveillants, notre modèle fournit un critère pour évaluer les partenaires le plus susceptibles d'accepter une proposition de coalition. Enfin, comme dans ces systèmes des agents n'ont pas généralement une représentation complète et correcte les uns des autres, notre modèle leur permet de détecter une inconsistance au niveau de la société et de choisir un contexte à être maintenue. Nous avons implémenté ce mécanisme de raisonnement social en utilisant une programmation orientée objet. Nous l'avons utilisé pour développer deux applications, le simulateur DEPNET et le système DEPINT, qui illustrent son utilisation selon deux perspectives scientifiques différentes. D'une part, selon une perspective de simulation sociale, notre modèle fournit un outil informatique permettant l'analyse et la prédiction des divers schémas intéressants d'interaction sociale, et l'évaluation du pouvoir social des agents. D'autre part, selon une perspective de résolution de problèmes, notre modèle peut être utilisé pour concevoir dynamiquement l'organisation des agents dans un contexte de systèmes multi-agents ouverts.

Nous avons étudié le mélange de fluides visqueux dans des écoulements 2-D ouverts et fermés où des agitateurs créent de l'advection chaotique, i.e. des trajectoires lagrangiennes complexes. Notre étude, expérimentale, numérique et théorique, s'appuie sur deux types d'expériences de mélange chaotique, en domaine fermé et dans un canal ouvert. En système fermé, nous avons d'abord proposé une caractérisation topologique du mélange reposant sur l'enchevêtrement des trajectoires de points périodiques -- les "tiges fantômes". D'autre part, l'étude expérimentale du champ de concentration d'un colorant nous a permis de décrire le rôle des murs du domaine où se fait le mélange, pour les écoulements fermés comme ouverts. En fermé, la nature chaotique ou régulière des trajectoires initialisées près des bords détermine l'évolution du champ de concentration, même loin des bords. Nous avons ainsi observé une dynamique lente (algébrique) de l'homogénéisation quand la région chaotique s'étend jusqu'à des murs non-glissants. En ouvert, nous avons décrit l'évolution du champ de concentration dans, et en aval de la région de mélange, résultant de l'injection d'un blob de colorant. Nous avons décrit les éléments mal mélangés qui s'échappent aux temps courts, et l'apparition d'un motif permanent (auto-similaire) aux temps longs, déterminé par les orbites périodiques de la région de mélange. Des modifications de ce scénario apparaissent quand la région de mélange va jusqu'aux murs. Enfin, une modélisation à base de transformation du boulanger généralisée nous a permis de comprendre l'essentiel des mécanismes rencontrés.

Le terme de « chaos quantique » recouvre l'étude des relations entre un système ondulatoire et son homologue classique, que le système dynamique soit intégrable, pseudo-intégrable, mixte ou chaotique. Les billards, puits de potentiel infini enfermant une particule libre, en constituent le sujet d'étude par excellence, car un déplacement de la frontière permet de changer aisément de système dynamique. Aussi avons-nous fabriqué des micro-lasers plans de formes diverses (stade, disque, polygones, ...) où, par analogie formelle, le champ électromagnétique joue le rôle d'une particule quantique. La limite classique correspond alors à celle de l'optique géométrique.<br />L'originalité de notre étude repose sur l'utilisation de matériaux organiques à faibles indices de réfraction qui facilite le couplage avec l'extérieur de la lumière piégée dans la cavité. Ces billards ouverts présentent des caractéristiques génériques très différentes de celles attendues pour des systèmes équivalents fermés. En particulier, le lien entre optiques géométrique et ondulatoire s'est révélé beaucoup plus étroit.<br />Nos études expérimentales ont concerné les directions d'émission et les spectres. Pour les premières, nous avons proposé un modèle analytique dans le cas de cavités chaotiques. Concernant les spectres, nous avons développé une méthode d'analyse qui extrait les longueurs géométriques des orbites périodiques. Ce procédé s'avère très efficace pour tester les prédictions théoriques (formule de trace). Par ailleurs, un modèle ondulatoire pour les cavités polygonales ainsi qu'une approche perturbative adaptée aux déformations continues du disque ont été validés par des simulations numériques.

Nous nous intéressons dans cette thèse à certains modèles mathématiques permettant une description de systèmes ouverts classiques et quantiques. Dans l'étude de ces systèmes en interaction avec un environnement, nous montrons que la dynamique induite par l'environnement sur le système donne lieu à l'apparition de bruits. Dans une première partie de la thèse, dédiée aux systèmes classiques, le modèle décrit est le schéma d'interactions répétées. Etant à la fois hamiltonien et markovien, ce modèle en temps discret permet d'implémenter facilement la dissipation dans des systèmes physiques. Nous expliquons comment le mettre en place pour des systèmes physiques avant d'en étudier la limite en temps continu. Nous montrons la convergence Lp et presque sûre de l'évolution de certains systèmes vers la solution d'une équation différentielle stochastique, à travers l'étude de la limite de la perturbation d'un schéma d'Euler stochastique. Dans une seconde partie de la thèse sur les systèmes quantiques, nous nous intéressons dans un premier temps aux actions d'environnements quantiques sur des systèmes quantiques aboutissant à des bruits classiques. A cette fin, nous introduisons certains opérateurs unitaires appelés « classiques », que nous caractérisons à l'aide de variables aléatoires dites obtuses. Nous mettons en valeur comment ces variables classiques apparaissent naturellement dans ce cadre quantique à travers des 3-tenseurs possédant des symétries particulières. Nous prouvons notamment que ces 3-tenseurs sont exactement ceux diagonalisables dans une base orthonormée. Dans un second temps, nous étudions la limite en temps continu d'une variante des interactions répétées quantiques dans le cas particulier d'un système biparti, c'est-à-dire composé de deux systèmes isolés sans interaction entre eux. Nous montrons qu'à la limite du temps continu, une interaction entre ces sous-systèmes apparaît explicitement sous forme d'un hamiltonien d'interaction; cette interaction résulte de l'action de l'environnement et de l'intrication qu'il crée / This dissertation is dedicated to some mathematical models describing classical and quantum open systems. In the study of these systems interacting with an environment, we particularly show that the dynamics induced by the environment leads to the appearance of noises. In a first part of this thesis, devoted to classical open systems, the repeated interaction scheme is developed. This discrete-time model, being Hamiltonian and Markovian at the same time, has the advantage to easily implement the dissipation in physical systems. We explain how to set this scheme up in some physical examples. Then, we investigate the continuous-time limit of these repeated interactions. We show the Lp and almost sure convergences of the evolution of the system to the solution of a stochastic differential equation, by studying the limit of a perturbed Stochastic Euler Scheme. In a second part of this dissertation on quantum systems, we characterize in a first work classical actions of a quantum environment on a quantum system. In this study, we introduce some “classical” unitary operators representing these actions and we highlight a strong link between them and some random variables, called obtuse random variables. We explain how these random variables are naturally connected to some 3-tensors having some particular symmetries. We particularly show that these 3 tensors are exactly the ones that are diagonalizable in some orthonormal basis. In a second work of this part, we study the continuous-time limit of a variant of the repeated interaction scheme in a case of a bipartite system, that is, a system made of two isolated systems not interaction together. We prove that an explicit Hamiltonian interaction between them appears at the limit. This interaction is due to the action of the environment and the entanglement between the two systems that it creates

L'auto-organisation des organismes vivants est d'une complexité et d'une efficacité étonnantes. Plus précisément, les systèmes biologiques abritent un nombre gigantesque de réactions très spécifiques qui nécessitent que la bonne biomolécule se retrouve à la bonne place, dans le bon ordre et en un temps suffisamment court pour permettre le fonctionnement cellulaire, et au-delà la vie cellulaire. D'un point de vue dynamique, cela pose la question fondamentale de savoir comment les biomolécules trouvent efficacement leur(s) cible(s) spécifique(s), ou encore, quels types de forces rassemblent tous ces partenaires de réaction spécifiques dans un environnement aussi dense et ionisé que les micro-environnements cellulaires. Dans cette thèse, nous explorons la possibilité que des biomolécules puissent interagir à travers des interactions électromagnétiques de longue-portée telles que ces dernières sont prédites à partir des premiers principes de la physique; ''longue-portée'' signifiant que les interactionsen question sont actives sur des distances bien plus larges que les dimensions typiques des molécules mises en jeu (i.e., plus grandes qu'environ 50 angströms dans les systèmes biologiques). Après avoir posé les fondements théoriques concernant les interactionsde longue-portée potentiellement actives sur de longue distances dans un contexte biologique, nous étudions la posssibilité de détecter leur éventuelle contribution à partir de dispositifs expérimentaux qui sont accessibles de nos jours. Sur ce dernier point, des résultats préliminaires encourageants tant sur le plan théorique qu'expérimental sont présentés. / Self-organization of living organisms is of an astonishing complexity and efficiency. More specifically, biological systems are the site of a huge number of very specific reactions thatrequire the right biomolecule to be at the right place, in the right order and in a reasonably short time to sustain cellular function and ultimately cellular life. From the dynamic point of view, this raises the fundamental question of how biomolecules effectively find their target(s); in other words, what kinds of forces bring all these specific cognate partners together in an environment as dense and ionized as cellular micro-environments. In the present thesis, we explore the possibility that biomolecules interact through long-range electromagnetic interactions as they are predicted from the first principles of physics; "long-range" meaning that the mentioned interactions are effective over distances much larger than the typical dimensions of the molecules involved (i.e., larger than about 50 angströms in biological systems).After laying the theoretical foundations about interactions that are potentially active over long distances in a biological context, we investigate the possibility of detecting their contribution from experimental devices which are nowadays available. On the latter point, encouraging preliminary results both at the theoretical and experimental levels are exposed.