Cette thèse a pour objet la conception d'un hyperviseur logiciel sécurisé, à vocation de certification. Les plus hauts niveaux de certification requièrent l'usage de méthodes formelles, permettant de démontrer la validité d'un produit par rapport à une spécification à l'aide de la logique mathématique. Le matériel prouvé n'existant pas, les mécanismes d'hypervision sont implémentés en logiciel. Cela contribue à réduire la base de confiance, et donc la quantité de modélisation et de preuve à produire. En outre, cela rend possible la virtualisation de systèmes sur des plateformes qui ne sont pas dotées d'instructions de virtualisation. Les principaux challenges sont l'analyse du jeu d'instruction qui, malgré l'existence de documentation, comporte des ambiguïtés, des particularités dépendantes de l'implémentation et des comportements non définis. Puis, l'identification des intensions d'un système invité étant donné un flot d'instructions discret afin de rester en interposition avec le matériel sous-jacent. Pour ce faire, le code machine de l'invité est analysé et les instructions menaçant l'intégrité ou la confidentialité du système sont remplacées par des trapes logicielles, provoquant une analyse du contexte afin d'autoriser ou non leur exécution. Reposant sur l'existence d'un CPU et d'une MMU prouvés, seul du code privilégié est susceptible d'outrepasser les droits d'accès configurés par l'hyperviseur. Il n'est donc pas nécessaire d'hyperviser le code non privilégié. Les micro-noyau, généralement choisis pour leur légèreté, ont donc un second avantage : ils réduisent au minimum le surcoût de l’hypervision. / This thesis presents the design of a secured, software based hypervisor for certification purposes. The highest levels of certification require formal methods, which demonstrate the correctness of a product with regard to its specification using mathematical logic. Proven hardware is not available off-the-shelf. In order to reduce the Trusted Computing Base (TCB) and hence, the amount of specification and proofs to produce, virtualization mechanism are software-made. In addition, this enables virtualization on platforms which do not have virtualization-enabled hardware. The challenge for achieving this goal is twofold. On one hand, despite an existing documentation, the instruction set to be analysed has tedious corner cases, implementation-dependant behaviour or even worse, undefined behaviour. On the other hand to infer the system behaviors has to be infered given a discrete instruction flow, in order to remain interposed between the guest and the underlying hardware. For achieving this, the guest's machine code is analysed, and sensitive instructions (which threaten confidentiality or integrity) are replaced by traps, which enable arbitration given the actual guest context. Relying on hypothetically proven processor and memory management unit, only privileged code may bypass the configuration setup by the hypervisor and access the hardware. Thus, analysing unprivileged code is worthless in this case. Micro-kernel design which tends to offload most of the code in userspace, are suitable here. Using that paradigm reduces the overhead induced by certified virtualization.

Tesis de doctorado--Derecho, [19..]. / Bibliogr. p. 403-420.

Projet professionnel personnel de bibliothécaire : gestion de projet : Bibliothéconomie : Villeurbanne, ENSSIB : 2003.

Le défi des grandes villes et des métropoles est d’accueillir des nouvelles populations étrangères et de comprendre les modes d’interaction entre leurs territoires et ces nouveaux habitants. Paris, comme toutes les métropoles, se trouve confrontée à des vagues d’immigration. Dans une approche comparatiste, deux terrains ont été choisis pour étudier l’interaction entre cette diversité ethnoculturelle et l’habitat, et plus précisément les espaces communs, tantôt publics, tantôt privés : la Goutte d’Or dans le 18e arrondissement et la Petite Asie dans le 13e arrondissement. Nous avons suivi deux groupes ethnoculturels, maghrébin et asiatique, dans leurs pratiques des espaces communs pour essayer de décrypter les formes d’occupation : caractériser les usages, analyser les interactions entre ceux qui pratiquent ces espaces et comprendre les significations.Les projets de rénovation urbaine des quartiers peuvent se servir des observations qui en ressortent de cette recherche. La prise en compte des pratiques des habitants, ainsi que de leurs origines culturelles, semble un enjeu important. Car durable veut dire non seulement le capital naturel, mais aussi humain dans toute sa diversité et richesse. / The major challenge of large cities and metropolis is to welcome new foreign populations and to understand the modes of interaction between their territories and these new residents. Paris, like all cities, is faced with waves of immigration. In a comparative approach, two sites were selected to study the interaction between the ethnocultural diversity and habitat, specifically the common spaces, sometimes public, sometimes private: la Goutte d’Or in the 18th district and Little Asia in the 13th district. We followed two cultural groups, North Africain and Asian, during their practices in the common spaces in order to try to decode the forms of occupation: characterize the uses, analyze the interactions between those who practice these spaces and understand the meanings. The projects of urban renovation can use the observations that emerge from this research. Taking into account the practices of the inhabitants and their cultural origins seems an important issue. For sustainable means not only the natural capital but also human in all its diversity and richness.

Cette thèse interroge les récentes pratiques d'aménagement du territoire qui font appel à des stratégies participatives dans la ville de Berlin, terrain d'expérimentations et d'observations. Ce phénomène apparaît à un moment de l'histoire de l'urbanisme où la participation croise le pragmatisme de la standardisation pour s'orienter vers une troisième voie du logement. Dans la ville laboratoire du vide, les Baugruppen se répartissent sporadiquement en marge des politiques urbaines et ne sont plus les éléments constitutifs d'éco-quartiers. Affiliées aux coopératives de logements du XIXe siècle et aux projets participatifs depuis les années 1960, ces constructions suscitent néanmoins une réception ambivalente qui est en rupture avec la ville locative en pleine mutation. L'analyse de la morphologie, typologie et dispositifs architecturaux des Baugruppen fait émerger deux tendances dans leur évolution. Ils favorisent d'abord une marchandisation du logement traditionnel vers laquelle la société évolue dans la ville-globale. Ensuite, la création de standards spécifiques, qui invitent à une dérive architecturale, produit un urbanisme interne par les interactions naissant entre espaces et usagers. Par une radicalisation de la construction et une rationalisation de la participation, ces expériences proposent un nouveau rôle pour les architectes qui réalisent alors des architectures de processus. Générant des micocommunautés, ce nouvel habitat met en avant une nouvelle version de socialisation dans la fabrique de logement. La recherche d'optimisation dans un système non hiérarchique propose un scénario horizontal au sein duquel l'appropriation de l'espace est planifiée. / This thesis is dedicated to new ways of developing urban territory through contemporary practices of participation based on the peculiar identity of Berlin. This phenomenon is a method of urban planning in which participation meets standardization to achieve a third means of conceiving collective-housing. In a city considered a laboratory of emptiness, these projects, which spread sporadically throughout an urban wasteland, are subsantially different from what we are used to seeing in the context of eco-neighborhoods. If the experiments model themselves upon a participative filiation, they provoke ambivalent reception because they embrace a long tradition of low percentage of property ownership in a city that is quickly and constantly being reconfigured. The examination of morphology, typology and architectural system of Baugruppen in Berlin highlights two major tendencies. First, they contribute to the marketing of housing, exploiting the notion of Baugruppe as a label and responding to a production of mass customization in an emerging global-city. Second, the creation of specific standards, as architecural dérive lead to collisions between users and space. Through the radicalization of the construction and the rationalization of participation, Baugruppen experiences open a new role for the architects. Performing an architecture of process and seeking optimization in a non-hierarchical system, these projects suggest a horizontal scenario. They offer a new version of socialization in housing development by generating micro-communities and planning an appropriation of space in open-buildings structure for the management of shared scene and the flexibility of living space.

Texte remanié de: Th. doct.--Droit privé--Paris 2, 1998. / Bibliogr. p. 337-370. Index.

Projet professionnel personnel de bibliothécaire : gestion de projet : bibliothéconomie : Villeurbanne, ENSSIB : 2008. / Texte intégral. Résumé en français et en anglais. Bibliogr. f. 47-49.

Mémoire d'étude diplôme de conservateur des bibliothèques : bibliothéconomie : Villeurbanne, ENSSIB : 2008. / Texte intégral. Résumé en français et en anglais. Bibliogr. f. 58-60.

Au cours des 15 dernières années, une attention particulière fut accordée à l'intégrité des gestionnaires de fonds communs de placement et au respect des intérêts des porteurs de parts de ces fonds. La présente recherche tente de caractériser l'incidence de la performance sur la prise de risque des gestionnaires. Plus précisément, de répondre à l'interrogation suivante : Est-ce que les gestionnaires moins performants augmentent de façon plus importante le risque de leur portefeuille que les plus performants avec comme objectif d'améliorer leur classement? Les conclusions des études empiriques précédentes semblent mitigées selon les mesures de risques employées. Au moyen d'un échantillon de 13 901 fonds sur une période de 1996 à 2008, nos résultats indiquent que selon la mesure de risque utilisée pour répondre à cette question, qu'elle soit réalisée ou anticipée, les conclusions diffèrent. La proportion des gestionnaires moins performants qui diminuent le risque réalisé, soit l'écart-type ou le bêta, en deuxième période semble plus élevée que celle qui l'augmente. Cependant, la conclusion inverse est observable avec les mesures de risque anticipé, étant la variance conditionnelle de type GARCH et le bêta conditionnel à la Ferson et Schadt (1996). Enfin, un aspect dynamique du comportement des gestionnaires est observable au cours de la deuxième partie de l'année. C'est-à-dire que le comportement de ceux-ci se modifie pendant le reste de l'année.

Thèse (M.Sc.)--Université Laval, 2004. / Bibliogr.: f. 87-90. Webographie: f. 90. Publié aussi en version électronique.