De nos jours, la présence de réseaux à grande échelle dans notre société bouleverse nos habitudes avec l'apparition de nouveaux services distants avec des besoins en matière de sécurité de plus en plus important. Nous abordons dans cette thèse la problématique de la composition des protocoles de sécurité, nous nous focalisons notamment sur les protocoles cryptographiques ainsi que sur les politiques de contrôle d'accès. La première partie de la thèse est consacrée à la composition des protocoles cryptographiques ainsi que leurs intégration avec d'autres types de protocoles. Nous introduisons notamment la notion de mécanismes cryptographiques qui sont des protocoles cryptographiques simples qui peuvent être composés pour obtenir des protocoles plus complexes sous réserve de faire les preuves nécessaires. Nous proposons également une méthode pour la reconstitution d'éventuelles attaques. La seconde partie de la thèse est consacrée à l'implémentation des politiques de contrôle d'accès par le raffinement, l'idée consiste à partir de politiques de sécurité abstraites et de les raffiner afin d'obtenir des politiques plus concrètes. Nous proposons également de combiner la technique de raffinement avec la technique de composition pour rendre plus efficace la procédure d'implémentation des politiques de contrôle d'accès / The presence of big scale networks in our modern society is affecting our usual practice, which as a result is generating the need to introduce a more and more important level of remote security services. We address in this thesis the problem of security protocols composition, we focus in particular on cryptographic protocols as well as access control policies. The first part of the thesis is dedicated to the composition of cryptographic protocols and to their integration other classes of protocols. We introduce the notion of cryptographic mechanisms. Mechanisms are simple cryptographic protocols that can be composed to obtain more complex protocols if the necessary proof obligations are discharged. We also introduce a technique for a proof based attack reconstruction. The second part of the thesis is dedicated to the deployment of access control policies using refinement, the idea consists in refining abstract policies to obtain a more concrete access control policies. We also propose to combine the refinement technique with the composition technique to obtain a more efficient access control policies deployment techniques

Accès, propriété, médicament. Comment s’articulent l’accès et la propriété sur un bien aussi spécifique que le médicament ? Telle fut notre interrogation de départ. Opposer la propriété intellectuelle et l’accès peut surprendre. La propriété intellectuelle n’organise-t-elle pas l’exclusivité dans le partage ? Pourquoi alors invoquer l’accès à un bien approprié ? Répondre à ces questions nous a conduit à nous intéresser aux fondements de la propriété industrielle et à en étudier l’étendue. Le constat fut sans appel : le droit de la propriété intellectuelle s’est considérablement étendu. Longtemps rejeté du domaine brevetable, le médicament illustre ce mouvement. Dans de telles conditions, il n’est pas étonnant de voir émerger l’accès. À l’extension des droits de l’un répond un droit d’accès de l’autre. C’est donc d’abord une confrontation qui caractérise le rapport entre la propriété intellectuelle et l’accès aux médicaments. Pouvait-on en rester à ce constat d’une confrontation de logique ? La cohérence dus système juridique imposait de rechercher des mécanismes d’articulation. Trouver une combinaison est une nécessité. Il convenait d’étudier les mécanismes offerts par le droit de la propriété industrielle. Leurs caractères exceptionnels demeurent insuffisants. Aussi a-t-on tenter de proposer des mécanismes structurels / Access, property, medicine. How is access and ownership linked to something as specific as medicine? This was our initial question. Opposing intellectual property and access can be surprising. Doesn't intellectual property organize exclusivity in sharing? Why then invoke access to an appropriate good? Answering these questions has led us to take an interest in the foundations of industrial property and to study its scope. The report was clear: intellectual property law has expanded considerably. Long rejected from the patentable field, the drug illustrates this movement. Under such conditions, it is not surprising to see access emerging. The extension of the rights of one responds to the right of access of the other. It is therefore first of all a confrontation that characterizes the relationship between intellectual property and access to medicines. Could we stick to this observation of a confrontation of logic? The coherence of the legal system required the search for articulation mechanisms. Finding a combination is a necessity. The mechanisms offered by industrial property law needed to be studied. Their exceptional characteristics remain insufficient. So we try to propose structural mechanisms

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

La Déclaration de la quatrième Conférence ministérielle de l’OMC s’est assignée comme objectif de rendre le traitement spécial et différencié plus contraignant, plus pratique et plus opérationnel. Par son mandat placé sous le signe de développement, la Déclaration de Doha marque une renaissance du traitement spécial et différencié dans les négociations commerciales multilatérales après que les résultats de l’Uruguay Round ont réduit celui-ci à de simples dispositions transitoires. Cette nouvelle impulsion donnée au traitement spécial et différencié est frappante à plusieurs égards : accès aux marchés, accès aux médicaments, assistance technique, etc. Cet intérêt aux questions des pays en développement intervient à un moment où les pays en développement se veulent très actifs au sein de l’institution genevoise. De par leur utilisation du mécanisme de règlement des différends ainsi que de par leur institution de diverses coalitions les pays en développement montrent leur prise en conscience de bénéfice qu’ils peuvent acquérir en participant pleinement au processus de l’OMC. / The Declaration of the fourth world trade Organization Ministerial Conference set itself the goal of making special and differential treatment more precise, effective and operational. The keynote of the conference being development, the Doha Declaration marked a return to including special and differential treatment in trade negotiations after the results of the Uruguay Round had reduced it to mere transitional provisions. The new impetus given to special and differential treatment was striking in several respects : access to markets, access to medicines, technical assistance, etc. This interest in the issues of developing countries came at a time when they were very active within the Geneva institution. Through the use of the dispute settlement mechanism or the various coalitions in the institution, developing countries became aware of the benefits which could be gained by fully participating in the WTO process.

Une approche de la synthèse d'architecture pour les circuits de communication a été étudiée dans ce mémoire de thèse: elle cherche à implanter systématiquement les protocoles des méthodes d'accès au médium (niveau MAC) à partir d'une description comportementale du protocole. Cette description est effectuée à partir d'un ensemble d'instructions dédiées appelé MACS, dont le compilateur a été prototypé rapidement. La synthèse est basée sur une architecture flexible de modèles qui analyse la syntaxe des trames et qui traite la sémantique des données temps-réel. La translation vers des architectures matérielles est effectuée à partir de graphes transformés qui représentent les caractéristiques du protocole et des méthodes simples d'allocation de modules dont les architectures sont définies au préalable. Cette approche nous permet de prototyper rapidement l'implantation des protocoles de communication de contrôle-commande pour étudier leur comportement par la simulation complète de tout le système. Les travaux de cette thèse ont été supportés en grande partie par le projet européen EURÊKA PROMETHEUS sur la Voiture Intelligente et Sûre qui nous a servi de champ d'application

Protocole d'entente entre l'Université Laval et l'Université de Sherbrooke / La thèse analyse en théorie du droit l’évolution de la procédure civile sous l’angle des enjeux de l’accès à la justice. Elle formule l’hypothèse d’un modèle de régulation sociale qui opère un renversement de la perspective moniste positiviste classique par l’intégration des modes extrajudiciaires de PRD. La thèse répond à la question de recherche suivante : Quels fondements théoriques à l’évolution de la procédure civile pour l’amélioration de l’accès à la justice ? D’un point de vue méthodologique, la thèse opte pour une démarche théorique et documentaire. Elle emprunte aux principales Écoles de théories du droit, en particulier à l’École sociologique. Le cadre théorique s’appuie alors sur les théories du pluralisme juridique, des systèmes et du réseau. Ces théories irriguent la thèse tout entière et servent de grille analytique aux deux parties principales de celle-ci. Dans la première partie, la thèse délimite et précise le concept d’accès à la justice. En trois chapitres, cette première partie s’attèle méthodiquement à déconstruire les acceptions dominantes institutionnelles et restrictives du concept. Elle aboutit à l’élaboration d’une définition innovante à valeur théorique et pratique de l’accès à la justice. Dans la seconde partie, l’analyse porte sur l’évolution des paradigmes de la procédure civile. En trois chapitres, elle pose une critique du système dominant de règlement des conflits en général et de la procédure civile en particulier qui reposent sur le droit selon les principes de hiérarchie des normes. La thèse déconstruit cette vision, puis propose une théorie générale supportant la légitimité des modes extrajudiciaires de PRD. Finalement, la recherche suggère une évolution de la procédure civile et soumet à cet effet un modèle de système de justice alternatif intégrant les modes extrajudiciaires de PRD. Le modèle de régulation proposé est non antinomique et complémentaire au modèle dominant. Le modèle de régulation sociale construit dans la thèse s’articule autour de trois paradigmes fondamentaux à savoir la décentralisation, la multipolarité et la complémentarité. La thèse constitue un compendium d’analyses et soumet un cadre de référence des paradigmes de base d’un système de justice renouvelé pour l’amélioration de l’accès à la justice. / The thesis analyzes the evolution of civil procedure in terms of access to justice issues in theory of law. It makes the assumption of a model of social regulation which operates a reversal of the classic positivist monistic perspective by the integration of the extrajudicial modes of PRD. The thesis responds to the following research question: what theoretical foundations to the evolution of civil procedure for the improvement of access to justice? From a methodological point of view, the thesis opts for a theoretical and documentary approach. It borrows from the main schools of theories of law, in particular the sociological school. The theoretical framework is then based on theories of legal pluralism, the systems and the network. These theories irrigate the whole thesis and serve as the two main parts of the analytic grid. In the first part, the thesis focuses on the accuracy of the concept of access to justice. In three chapters, this first part is working methodically to deconstruct the dominant meanings institutional and narrowing of the concept. It leads to the development of an innovative theoretical definition and practical access to justice. In the second part, the analysis focuses on the evolution of the paradigms of the civil procedure. In three chapters, it poses a critique of System dominant rules of conflict in general and civil procedure in particular which are based on the law according to the principles of hierarchy of norms. The thesis deconstructed this vision, and then proposes a general theory supporting the legitimacy of the extrajudicial modes of PRD. Finally, the research suggests an evolution of civil procedure and submits to this effect an alternative justice system model not oxymoronic, but complementary to the dominant model integrating extrajudicial modes of PRD. The social regulation model built and submit in the thesis revolves around three paradigms fundamental namely decentralisation, multipolarity and complementarity. The thesis is a compendium of analyses and submits a frame of reference of the paradigms of a justice system for the improvement of access to justice.

Une des stratégies de lutte contre le VIH vise à identifier et à traiter les personnes vivant avec le VIH (PVVIH) afin de réduire le risque de transmission du virus. Au Québec, les immigrants africains et des Caraïbes représentent 54,1% des cas de transmission hétérosexuelle. Les études montrent que les PVVIH immigrantes africaines sont plus susceptibles d’être perdues pendant le suivi. Peu d’études portent sur leur parcours de soins. Cette étude vise à identifier les parcours de soins et à comprendre les facteurs qui les façonnent chez les PVVIH immigrantes africaines subsahariennes à l’aide d’une étude qualitative descriptive menée auprès de 32 PVVIH et d’entrevues dirigées auprès de neuf intervenants. Un cadre conceptuel basé sur les modèles d’accès aux soins a servi de toile de fond. Une approche interprétative a soutenu l’analyse des transcriptions d’entrevues. Quatre types de parcours de soins ont été identifiés. Le parcours conventionnel inclut une prise en charge initiale et continue de la PVVIH. Le parcours de soins retardé dénote un retard dans la prise en charge initiale après le diagnostic. Le parcours de soins accidenté réfère quant à lui à des périodes de manque de soins reliées aux facteurs individuels malgré une prise en charge initiale. Quant au parcours à incidents complexes, il se caractérise par des périodes de manque de soins, de six mois et plus, associées à une combinaison de barrières malgré la volonté de la personne à se soigner. Les facteurs facilitant les soins incluent la réinsertion sociale, l’accès à un médecin et la gratuité des antirétroviraux. Les barrières aux soins incluent les expériences négatives liées à la maladie, la pauvreté, la complexité du système de santé et le coût des ARV. Le counseling pré et post-test du VIH est peu pratiqué lors de l’examen médical de l’immigration. Il n’existe pas un système uniforme de référence des PVVIH vers les services de soins, ni de suivi de leur prise en charge effective. Les facteurs facilitants et les barrières qui influent sur le parcours de soins sont multidimensionnels. Le manque de counseling pré et post-test du VIH ainsi que d’un système pour référer et suivre les PVVIH prédisposeraient à un parcours non conventionnel et à un risque élevé de transmission du virus pour le partenaire malgré la disponibilité de services au Canada. Nos recommandations appellent les décideurs et les intervenants à promouvoir les parcours conventionnels. Elles portent sur la formation des intervenants, l’éducation de la population, la réinsertion sociale et le système uniforme de référence des PVVIH ainsi que la gratuité des ARV et le suivi post-diagnostic des cas.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

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

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.