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.

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

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

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

La multiplication des atteintes corporelles et sérielles causées par les produits fait de l'organisation de la sécurité des produits une préoccupation sociétale majeure. Au delà de l'expansion des risques des produits, c'est l'impuissance des États, matérialisée par l'insuffisance ou l'inadaptation des moyens juridiques de prévention, qui est cause. C'est également l'activité économique qui est au banc des accusés. Et si l'appétence d'une sécurité des produits doit être comblée, s'il faut préserver la vie et la santé contre le danger des produits, le bon sens s'impose : mieux vaut prévenir efficacement que guérir, réparer ou punir. C'est pourquoi, il ne s'agit guère plus d'une prévention à la demande, mais d'une prévention imposée, à travers notamment, les exigences des Nations unies, de l'OMS, des accords SPS et OTC de l'OMC et surtout de l'UEMOA dont la subtilité témoigne de l'étendue des responsabilités des pouvoirs publics ivoiriens et des opérateurs économiques. Les premiers, garants de l'ordre public interne, doivent substituer au cadre juridique et institutionnel lacunaire un système intégré de maîtrise des risques avérés ou incertains des produits. Les seconds, garants de l'innocuité de leurs produits, sont soumis à l'épreuve d'une internalisation de la gestion des risques qui leur permettra assurément de limiter les coûts d'une responsabilité civile objectivée. / The proliferation of serial and personal injury by products implies product safety as a major societal concern. Beyond the expansion of product risks, it's States incapacity, evidenced by the lack or the inadequacy of legal means of prevention that matters. It is also the economic activity that is in question. And if the need for product safety must be filled, whether to preserve life and health against the dangers of products, common sense is required: Prevention is better than effective cure, reparation or sanction. Therefore, it is little more than prevention at the request, but imposing a process, particularly through the requirements of the UN, WHO, of the SPS and TBT WTO and especially to UEMOA whose subtlety reflects the extent of the responsibilities of the Ivorian government and economic forces. The formers are responsible for internal public order and should reform the incomplete legal and institutional framework of an integrated risk control of products. The laters are responsible for the safety of their products, and are prompted to the internalisation of risk management that will certainly allow them to limiting the costs of liability.

Le gaz naturel tient une place de plus en plus importante dans le bouquet énergétique de l'Union Européenne. Cependant, faute de ressources suffisantes sur son territoire, elle est fortement dépendante de ses importations pour satisfaire ses besoins gaziers. En parallèle, depuis 1998 l'UE cherche la création d'un marché gazier unique et libéralisé. L'objectif de cette thèse est de voir si la libéralisation du marché gazier européen ne constitue pas un risque pour le pouvoir de négociation des importateurs et plus largement pour la sécurité gazière de l'UE. Le premier chapitre propose un état des lieux du marché gazier européen. Il permet de constater l'état d'avancement du marché unique, la forte dépendance extérieure de l'UE et la faible diversification de ses approvisionnements. À partir de ces constats, le second chapitre propose un modèle issu de la théorie des jeux coopératifs permettant de mettre en évidence l'évolution du pouvoir de négociation des importateurs résultant du processus de libéralisation. Il montre alors que la libéralisation entraîne une détérioration du pouvoir de négociation des importateurs au profit des producteurs extérieurs à l'UE, au premier rang desquels la Russie. Par ailleurs, il montre également que la constitution d'une centrale d'achat européenne est en mesure de fournir un contre pouvoir permettant d'équilibrer les rapports de force entre l'amont et l'aval de la chaîne gazière. Le troisième chapitre s'intéresse à l'évolution du GNL à travers le monde et plus particulièrement sur le marché de l'UE. Le développement du GNL en Europe permet l'entrée de nouveaux opérateurs sur l'amont de la chaîne, ce qui renforce la concurrence entre les fournisseurs de l'UE au bénéfice du pouvoir de négociation des importateurs. Enfin, le dernier chapitre aborde les conséquences du développement du gaz de schiste aux Etats-Unis sur le marché gazier européen. Il montre ainsi que ce développement s'accompagne d'une incertitude sur le futur de la demande gazière de l'UE et d'une remise en cause des contrats d'approvisionnement de long terme. / Natural gas has a growing importance in the European Union energy. However, because of the lack of resources in its territory, the EU is highly dependent on imports to meet its gas needs. In parallel, since 1998 the EU seeks the creation of a single and liberalized natural gas market. The aim of this thesis is to investigate whether the gas market liberalization can create a risk for importers' bargaining power and more widely to the gas security of supply of the EU. The first chapter provides an overview of the European gas market. It deals with the implementation of the process of gas market liberalization, the external dependency of the EU and the weakness of gas supply diversity. Using findings from the previous chapter, the second one proposes a model from the cooperative game theory to analyze the effects of the EU natural gas market liberalization on importers' bargaining power. It shows that the liberalization weakens importers' bargaining power vis-à-vis external suppliers, where Russia is the leader. It also shows that the implementation of a European gas purchasing agency offers a counter-power to the EU that balances bargaining power. The third chapter focuses on the development of LNG in the world and more specifically in the EU market. The development of LNG in Europe allows the entry of new operators on the upstream and, thus, increases competition among the EU's suppliers for the benefit of importers' bargaining power. The last chapter analyzes the impact of US shale gas development on the EU gas market. Thus, it shows that development is accompanied by an uncertainty about the future gas demand in the EU and by a reconsideration of the EU's long-term contracts.

La prévention de la malveillance par l’urbanisme et la construction permet de prendre en compte plus spécifiquement le sentiment d’insécurité et participe ainsi du confort des usagers de l’espace public. Au-delà, c’est la qualité de l’espace public et sa durabilité qui sont ainsi prises en compte. Aujourd’hui, avec le développement des éco-quartiers et la mise en place de différences démarches de qualité environnementale, il apparaît particulièrement nécessaire de prendre en compte la malveillance à travers ces démarches afin d’optimiser la qualité des espaces publics. Ainsi le sujet de la thèse est-il d’intégrer la prévention de la malveillance aux démarches de qualité environnementale de l’espace public. La prévention de la malveillance et l’aménagement durable ont des origines différentes : l’une est issue de la prévention de l’insécurité et l’autre du développement durable. Cependant, ces derniers ont un terrain d’actions commun : la ville. Nous avons développé une méthodologie qui articule la prévention de la malveillance et l’aménagement durable dans le cadre d’un projet urbain, en nous appuyant sur différentes démarches et approches environnementales, ainsi que sur des Études de Sûreté et de Sécurité Publiques (ESSP). / Crime prevention through urban design and planning includes specifically the feeling of safety and contributes to the users’ comfort in public spaces. Beyond, the quality of life in public spaces and sustainability are taken into account in crime prevention. Today, in a perspective of sustainability and green approach, this research shows that it is necessary to considerer crime prevention combined with a sustainable approach for public spaces. Crime prevention and sustainable design have different origins : one is based on criminology applied to urban design and the other is based on sustainability. However, they both work on the same case study : the city. We have developed a specific methodology which gathers crime prevention and a sustainable approach for urban design. This methodology therefore mixes different green approaches with the French law on crime prevention to analyse and improve the interventions in the urban areas.

Résumé confidentiel / Résumé confidentiel

Plusieurs outils ont été développé pour vérifier automatiquement les propriétés de sécurité sur des protocoles cryptographiques. Jusqu'à maintenant, la plupart de ces outils permettent de vérifier des propriétés de trace (ou propriétés d'accessibilité) tel que le secret simple ou l'authentification. Néanmoins, plusieurs propriétés de sécurité ne peuvent pas être exprimés en tant que propriété de trace, mais peuvent l'être en tant que propriété d'équivalence. L'anonymat, la non-tracabilité ou le secret fort sont des exemples classique de propriété d'équivalence. Typiquement, deux protocoles P et Q sont équivalent si les actions d'un adversaire (intrus) ne lui permettent pas de distinguer P de Q. Dans la littérature, plusieurs notions d'équivalence ont été étudiés, par exemple l'équivalence de trace ou l'équivalence observationnelle. Néanmoins, ces équivalences se relèvent être très difficiles à démontrer , d'où l'importance de développer des outils de vérification automatique efficaces de ces équivalences. Au sein de cette thèse, nous avons dans un premier temps travaillé sur une approche reposant sur des techniques de résolution de contraintes et nous avons créé un nouvel algorithme pour décider l'équivalence de trace entre deux protocoles pouvant contenir des conditionnelles avec branches "else", et pouvant également être non-déterministe. Cet algorithme a été appliqué sur des exemples concrets comme le "Private authentification protocol" ainsi que le "E-passport protocol". Cette thèse propose également des résultats de composition pour l'équivalence de trace. En particulier, nous nous sommes intéressé à la composition parallèle de protocoles partageant certains secrets. Ainsi dans cette thèse, nous avons démontré que, sous certaines conditions, la composition parallèle de protocoles préserve les propriétés d'équivalence. Ce résultat fut appliqué au "E-passport protocol". Enfin, cette thèse présente une extension à l'outil de vérification automatique ProVerif afin de démontrer automatiquement plus de propriétés d'équivalence. Cette extension a été implémenté au sein de ProVerif ce qui a permis de démontrer la propriété d'anonymat pour le "Private authentification protocol" . / Many tools have been developed to automatically verify security properties on cryptographic protocols. But until recently, most tools focused on trace properties (or reachability properties) such as authentication and secrecy. However, many security properties cannot be expressed as trace properties, but can be written as equivalence properties. Privacy, unlinkability, and strong secrecy are typical examples of equivalence properties. Intuitively, two protocols P, Q are equivalent if an adversary can not distinguish P from Q by interacting with these processes. In the literature, several notions of equivalence were studied, e.g. trace equivalence or a stronger one, observational equivalence. However, it is often very difficult to prove by hand any of these equivalences, hence the need for efficient and automatic tools. We first worked on an approach that rely on constraint solving techniques and that is well suited for bounded number of sessions. We provided a new algorithm for deciding the trace equivalence between processes that may contain negative tests and non-determinism. We applied our results on concrete examples such as anonymity of the Private Authentication protocol and the E-passport protocol. We also investigated composition results. More precisely, we focused on parallel composition under shared secrets. We showed that under certain conditions on the protocols, the privacy type properties are preserved under parallel composition and under shared secrets. We applied our result on the e-passport protocol. At last this work presents an extension of the automatic protocol verifier ProVerif in order to prove more observational equivalences. This extension have been implemented in ProVerif and allows us to automatically prove anonymity in the private authentication protocol.