Spelling suggestions: "subject:"sécurité."" "subject:"sécurités.""
51 |
Réflexions sur la dématérialisation de la procédure pénale / Reflections on the dematerialisation of the criminal procedureRocayaura, Cécile 19 December 2013 (has links)
Aujourd'hui, les nouvelles technologies font partie de notre quotidien et sont sans cesse en évolution. Parmi elles, l'informatique progresse considérablement chaque jour. Depuis la sortie du premier ordinateur dans les années 60 et la création du réseau Internet, ce domaine ne cesse d'évoluer. L'informatique, les réseaux, avec la possibilité de traitement des données de manière de plus en plus rapide et de plus en plus efficace étaient, donc, naturellement amenés à toucher des domaines de plus en plus étendus. La recherche de plus en plus axée sur la miniaturisation du matériel a augmenté sa portabilité. Le droit n'est pas resté en marge de la dématérialisation progressive qui en découle. La procédure pénale, dans le cadre de la chaîne pénale, devait naturellement être influencée notamment dans un objectif de célérité. Mais, si cette procédure dématérialisée comporte des avantages non négligeables, elle n'est ni complète ni sans risques. De l'absence de signature électronique à l'absence d'archivage électronique qui font que la dématérialisation est incomplète, la chaîne pénale est exposée à bien d'autres risques. Du « bug » informatique au piratage, la menace régnante sur chaque matériel informatique est à contrôler. Ainsi si des sauvegardes numériques s'imposent, faute d'archivage électronique, la lutte contre les intrusions frauduleuses est un enjeu considérable. La dématérialisation en remplacement du format papier doit être entourée de précautions car elle est loin d'être infaillible. La sécurisation des échanges et de la communication électronique au sein de la chaîne pénale, comme de l'ensemble de l'équipement informatique est donc primordiale. / Nowadays, new technologies are part of our daily lives and are constantly evolving. Among them, computer science undergoes each day of considerable progresses. Since the release of the first computer in the 60's and the creation of the Internet, this field continues to evolve. Computers, networks, with the possibility of processing data so more and faster and more effective were therefore naturally led to reach areas more extensive. Research increasingly focuses on miniaturization of equipment-increased portability. The law has not remained on the fringes of progressive dematerialization that follows. Criminal proceedings in the criminal justice system would naturally be influenced in a particular target speed. But, if this electronic procedure has advantages, it is neither complete nor safe. Lack of electronic signature to the lack of electronic records that make the paperless is incomplete; the penal system is exposed to many other risks. Computer "bug" to piracy, the reigning threat on every hardware is controlled. So if digital backups are required, lack of electronic filing the fight against fraudulent intrusion is a major challenge. Dematerialization replacing the paper must proceed carefully because it is far from infallible. Securing exchanges and electronic communication within the criminal justice system, like all computer equipment is paramount.
|
52 |
Les politiques publiques de sécurité à l'épreuve de la gouvernance politique en Côté d'Ivoire / Public security polices to the test of political governance in Côte d'IvoireNahi, Pregnon Claude 03 July 2014 (has links)
En Côte d’Ivoire, les problèmes de sécurité liés à la criminalité ont été portés sur l’agenda politique pour faire l’objet de politiques publiques à partir des années 1980. En effet, la criminalité liée au banditisme qui avait commencé à se structurer au début des années 70 corrélativement à la période dite du « miracle économique », a connu un boom à la faveur de la crise économique sous les effets conjugués, d’un chômage endémique, d’une immigration et d’une croissance démographique mal maitrisées, d’une urbanisation galopante et d’un exode rural sans précédent. Depuis 1983, l’État tente de maitriser la recrudescence du phénomène criminel à travers divers programmes d’actions gouvernementales sans véritablement y parvenir. C’est donc aux raisons de la contre- performance de l’action publique dans le domaine de la sécurité intérieure qu’est dédiée cette thèse. L’hypothèse défendue ici postule que l’inefficacité des politiques de sécurité publique est imputable aux dysfonctionnements inhérents à l’organisation et au fonctionnement de l’ordre politique ivoirien. En effet, l’exercice d’un pouvoir d’État autoritaire qui privilégie la défense instrumentale de l’ordre public dans les politiques policières et pénales afin d’exercer un contrôle strict sur la compétition politique a contribué à structurer l’action publique principalement autour des motivations électoralistes au détriment des besoins sociétaux en matière de sécurité, notamment en matière de criminalité. / In Ivory Coast, the crime-related security problems were brought on the political agenda to be public policy from the 1980s because crime related to banditry that had begun to take shape in the early 70 correspondingly to the period known as the "economic miracle", boomed thanks to the economic crisis due to the combined effects of rampant unemployment, immigration and a poorly mastered population growth, of rapid urbanization and an unprecedented rural exodus. Since 1983, the state is attempting to master the resurgence of criminal phenomenon through various programs of government action without actually achieving it. So the reasons for the poor performance of public action in the field of internal security that is dedicated this thesis. The hypothesis put forward here postulates that the inefficiency of public security policies is due to malfunctions related to the organization and functioning of the Ivorian political. Indeed, the exercise of an authoritarian state power that favors instrumental defense of public order in the police and criminal justice policies to exercise strict control over political competition has helped to structure public action mainly around electoral motives at the expense of social needs security, in particular on crime.
|
53 |
La réalisation de l’accès à la justice dans l’Espace européen de justice : une contribution à la résolution des litiges commerciaux transfrontières / Achieving access to justice in the European area of justice : a contribution to the resolution of cross-boarder commercial disputesDa Lozzo, Michaël 14 October 2016 (has links)
L’Union européenne connaît un nombre croissant de litiges commerciaux transfrontières (conflits entre professionnels ou entre un professionnel et un consommateur). Ces différends doivent pouvoir être résolus par la partie qui le demande afin qu’elle puisse voir ses droits substantiels se réaliser. Il est donc essentiel de garantir l’accès à la justice, étatique ou privée, au sein de l’Espace européen de justice. À cette fin, l’Union européenne dispose d’une compétence partagée afin d’adopter des mesures facilitant l’accès à la justice (art. 67 §4 Traité FUE). Considéré comme un objectif et un droit fondamental, l’accès à la justice est concrétisé à travers le droit de la coopération judiciaire de l’Union. Son analyse révèle aussi bien la richesse de la notion que les lacunes de sa réalisation. Dans cette perspective, il convient de se demander comment l’Espace européen de justice peut véritablement atteindre l’objectif d’accès à la justice pour permettre la résolution des litiges commerciaux transfrontières. / The European Union experiences a growing number of cross-border commercial disputes (between professionals or between a professional and a consumer). These litigations shall be resolved at the demand of the claimant, so s/he can enjoy his/her substantial rights. Hence, it is essential to guarantee access to justice, whether public or private, within this European area of justice. To this end, the EU has a shared competence to adopt rules facilitating access to justice (art. 67 §4 Treaty FEU). Considered as an objective and a fundamental right, access to justice shall be realized through judicial cooperation law of the Union. This analysis shall reveal its richness as well as its lacuna. Therefore, one must determine how the European area of justice shall reach this objective of access to justice to allow the settlement of cross-boarder commercial disputes.
|
54 |
De l'intégration économique à l'intégration sécuritaire en Amérique du Nord : une perspective mexicaineOsuna, Victoria Miriam January 2003 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
|
55 |
Foundations for analyzing security APIs in the symbolic and computational model / Fondations d'analyse de APIs de sécurité dans le modèle symbolique et calculatoireKünnemann, Robert 07 January 2014 (has links)
Dans une infrastructure logicielle, les systèmes critiques ont souvent besoin de garder des clés cryptographiques sur des HSM ou des serveurs consacrés à la gestion de clés. Ils ont pour but de séparer les opérations cryptographiques, très critiques, du reste du réseau, qui est plus vulnérable. L'accès aux clés est fourni au travers des APIs de sécurité, comme par exemple le standard PKCS#11 de RSA, CCA d'IBM, ou encore l'API du TPM, qui ne permettent qu'un accès indirect aux clés. Cette thèse est composée de deux parties. La première introduit des méthodes formelles qui ont pour but l'identification des configurations dans lesquelles les APIs de sécurité peuvent améliorer le niveau de sûreté des protocoles existants, par exemple en cas de compromission d'un participant. Un paradigme prometteur considère les APIs de sécurité comme des participants d'un protocole afin d'étendre l'emploi des méthodes traditionnelles d'analyse de protocole à ces interfaces. À l'opposé des protocoles réseau, les APIs de sécurité utilisent souvent une base de données interne. Ces outils traditionnels d'analyse ne sont adaptés que pour le cas où le nombre des clés est borné a priori. Nous exposons également des arguments pour l'utilisation de la réécriture de multi-ensembles (MSR), lors de la vérification. De plus, nous proposons un langage dérivant du pi-calcul appliqué possédant des opérateurs qui permettent la manipulation d'un état explicite. Ce langage se traduit en règles MSR en préservant des propriétés de sécurité qui s'expriment dans une logique de premier ordre. La traduction a été implémentée sous forme d'un prototype produisant des règles spécifiquement adapté au prouveur tamarin. Plusieurs études de cas, dont un fragment de PKCS#11, le jeton d'authentification Yubikey, et un protocole de signature de contrat optimiste ont été effectuées. Le deuxième partie de la présente thèse a pour but l'identification des propriétés de sécurité qui a) peuvent être établies indépendamment du protocole b) permettent de trouver des failles au niveau de la cryptographie b) facilitent l'analyse des protocoles utilisant cette API de sécurité. Nous adoptons ici l'approche plus générale de Kremer et al. dans un cadre qui permet la composition universelle, à travers une fonctionnalité de gestion de clés. La nouveauté de ce genre de définition est qu'elle dépend des opérations mises à disposition par l'API. Ceci est seulement possible grâce à la composition universelle. Une API de sécurité n'est sûre que si elle réalise correctement la gestion des clés (selon la fonctionnalité présentée dans ce travail) et les opérations utilisant les clés (selon les fonctionalités qui les définissent). Pour finir, nous présentons aussi une implémentation de gestion de clés définie par rapport à des opérations arbitraires utilisant des clés non concernées par la gestion des clés. Cette réalisation représente ainsi un modèle générique pour le design des APIs de sécurité. / Security critical applications often store keys on dedicated HSM or key-management servers to separate highly sensitive cryptographic operations from more vulnerable parts of the network. Access to such devices is given to protocol parties by the means of Security APIs, e.g., the RSA PKCS#11 standard, IBM's CCA and the TPM API, all of which protect keys by providing an API that allows to address keys only indirectly. This thesis has two parts. The first part deals with formal methods that allow for the identification of secure configurations in which Security APIs improve the security of existing protocols, e.g., in scenarios where parties can be corrupted. A promising paradigm is to regard the Security API as a participant in a protocol and then use traditional protocol analysis techniques. But, in contrast to network protocols, Security APIs often rely on the state of an internal database. When it comes to an analysis of an unbounded number of keys, this is the reason why current tools for protocol analysis do not work well. We make a case for the use of MSR as the back-end for verification and propose a new process calculus, which is a variant of the applied pi calculus with constructs for manipulation of a global state. We show that this language can be translated to MSR rules while preserving all security properties expressible in a dedicated first-order logic for security properties. The translation has been implemented in a prototype tool which uses the tamarin prover as a back-end. We apply the tool to several case studies among which a simplified fragment of PKCS#11, the Yubikey security token, and a contract signing protocol. The second part of this thesis aims at identifying security properties that a) can be established independent of the protocol, b) allow to catch flaws on the cryptographic level, and c) facilitate the analysis of protocols using the Security API. We adapt the more general approach to API security of Kremer et.al. to a framework that allows for composition in form of a universally composable key-management functionality. The novelty, compared to other definitions, is that this functionality is parametric in the operations the Security API allows, which is only possible due to universal composability. A Security API is secure if it implements correctly both key-management (according to our functionality) and all operations that depend on keys (with respect to the functionalities defining those operations). We present an implementation which is defined with respect to arbitrary functionalities (for the operations that are not concerned with key-management), and hence represents a general design pattern for Security APIs.
|
56 |
Développement de méthodes de réduction de la consommation en carburant d'un véhicule dans un contexte de sécurité et de confort : un compromis entre économie et écologie / Methods development for reducing vehicle fuel consumption in a context of safety and comfort : a trade-off between economy and ecologyLuu, Hong Tu 27 June 2011 (has links)
Dans le contexte où le secteur automobile apparaît comme l’un des principaux émetteurs de gaz à effet de serre, des efforts doivent être apportés pour répondre à des normes antipollution de plus en plus contraignantes. L’objectif de la thèse est alors de développer un système qui aide le conducteur à adopter globalement une conduite plus économique, et qui plus est, écologique et sécuritaire. Notre approche se différencie des études et systèmes déjà existants par la stratégie utilisée. Celle-ci prend à la fois en compte les caractéristiques du véhicule, celles de l’infrastructure (pente, dévers, courbure) et surtout les contraintes sécuritaires que doit respecter le conducteur (limitation de vitesse légale, distance intervéhiculaire). Partant de ces informations, le problème d’optimisation de la consommation en carburant est formulé et résolu par la programmation dynamique. La stratégie de calcul en ligne est par la suite adoptée pour rendre le système adaptatif aux conditions de trafic. C’est ainsi que, sur la base de cette stratégie, le couplage entre le problème de sécurité routière et de réduction de consommation est réalisé. Des expérimentations de ce système informatif suggestif sur véhicule prototype montrent que le suivi des consignes, données par le système, est tout à fait réalisable par le conducteur. Ces essais confirment aussi le potentiel d’économie en carburant et l’amélioration de la sécurité grâce à notre système. En comparaison avec le style d’éco-conduite des conducteurs, l’économie en carburant en moyenne est de 7.5% et peut atteindre 12.9% et des réductions des dépassements de vitesse de 50% en moyenne et atteint près de 80% pour certains conducteurs. / In the context where the automobile sector represents one of the major greenhouse gas emitters, significant efforts should be made to answer the demand for increasingly restricted emissions standards. The object of this thesis is to develop a fuel-efficient support tool which helps the driver to adopt more economical, ecological and safe driving. our approach differs from studies in the literature by the introduction of a strong coupling of fuel optimization and safety maintaining problems. As inputs of the system, we use the vehicle states such as the vehicle and engine speeds, the gear used, the road geometry and information related to safety (inter-vehicle speed, traffic conditions, legal speed limit...). Optimisation algorithms compute in real-time a speed and gear profile for fuel economy and improvement of safety.. The experimental results of this informative and suggestive system show that instructions, given by the system, are quite feasible by the driver. These tests also confirm the potential for fuel economy and the safety
|
57 |
La frontière Canada/Etats-Unis depuis le 11 septembre 2001 : mutations et continuité / The Canada/US Border Since 9/11 : changes and ContinuityBeylier, Pierre Alexandre 23 November 2013 (has links)
Cette thèse étudie les transformations que la frontière américano-canadienne a connues dans le sillage des attentats du 11 septembre 2001. A travers une approche à la fois géographique, historique, politique et économique, elle s’intéresse au rôle qui a été attribué à la ligne internationale dans le cadre de la Guerre contre le terrorisme.Pour sécuriser son territoire, les Etats-Unis ont non seulement utilisé leurs frontières comme un levier central pour leur politique nationale, mais ils ont également défini un concept d’un nouveau genre, celui de « frontière intelligente ». Souhaitant trouver un équilibre entre deux objectifs présentés comme mutuellement non-exclusifs, la sécurité et la facilitation, Washington joue avec la binarité traditionnelle ouverture/fermeture pour plonger ses frontières, et notamment la frontière américano-canadienne dans un nouveau paradigme. Dès lors, nous voyons comment ce processus a lieu le long du front nord et comment celle que l’on nomme, de façon métonymique, le 49ème parallèle est passée d’une des plus longues frontières démilitarisées au monde, ouverte et défonctionnalisée, à une barrière hautement sécurisée. Nous explorons ainsi le rôle de pivot attribué aux attentats sur le World Trade Center et le Pentagone pour la frontière et ce que ce changement de paradigme signifie pour la relation américano-canadienne.Cette étude analyse donc le contenu de cette « frontière intelligente » tout en jaugeant son degré de succès pour ses deux versants – sécurité et facilitation. Il s’attache également à mettre en lumière les forces, parfois entremêlées, qui sous-tendent cette institution multiforme qu’est la frontière. Entre discours, désinformation, manipulation et desseins cachés, la frontière est au carrefour de différentes stratégies qui parasitent parfois notre perception de la situation. / This thesis aims at studying the transformations that the Canada/US border has undergone in the wake of 9/11. Using a multiple analytical lens – at once geographical, historical, political and economic – it deals with the role that the international boundary has played in the War against Terror.In order to secure its homeland, not only did the United States used its borders as a central tool for its policy but it also defined a new kind of concept, that of “smart borders”. Looking for a balance between two goals that are presented as mutually non-exclusive – security and facilitation – Washington plays with the traditional binary functioning of borders – open borders vs. close borders – to impose a new paradigm in North America, and more particularly along the Canada/US border. The purpose of this work is to look into this process to see how the metaphorically called 49th parallel has moved on from being the longest undefended border in the world, an open and defunctionnalized border, to a highly securitized barrier. Thus, it explores the supposedly pivotal role attributed to the terrorist attacks on the World Trade Center and the Pentagon as well as the meaning of this shift in paradigm for the Canada/US relationship.To do so, this thesis analyzes what this “smart border” consists in and assesses the success of its double engine – security and facilitation. It also endeavors to shed a light on the forces that underlie this multifaceted institution that the border is. Amidst rhetoric, disinformation, hidden agendas, the border is at the crossroads of different strategies that may sometimes blur our perception of the situation.
|
58 |
Typage du flux d'information sûr: déclassification et mobilitéMatos, Ana Almeida 01 1900 (has links) (PDF)
Nous nous intéressons au sujet de la confidentialité et de la déclassification. Nous étudions en particulier l'usage d'un système de types et d'effets pour assurer de manière statique des politiques de sécurité flexibles pour un langage d'ordre supérieur impératif avec concurrence. Une méthodologie générale pour définir et prouver la correction du système de types et d'effets pour de telles propriétés est présentée. Nous considérons deux points principaux : - La question de trouver un mécanisme flexible de contrôle d'information qui permet la déclassification. Notre mécanisme de déclassification prend la forme d'une déclaration de politique locale de flux qui implémente une politique locale de flux d'information. - La question jusqu'ici inexplorée de contrôler les flux d'information dans un environnement global. Notre modèle de réseau, qui généralise l'environnement global, inclut une notion de domaine et une primitive de migration standard pour le code et les ressources. De nouvelles formes de perte d'information, introduites par la mobilité du code, sont révélées. Dans les deux cas mentionnés ci-dessus, pour prendre en compte les politiques de flux globales nous introduisons des généralisations de la non-interférence, qui sont nommées non-divulgation et non-divulgation pour les réseaux. Ces généralisations sont obtenues `a l'aide d'une représentation concrète des treillis de sécurité, où les nivaux de confidentialité sont des ensembles de principaux, semblables `a des listes de contrôle d'accès.
|
59 |
SVSP (Secure Voice over IP Simple Protocol) une solution pour la sécurisation de la voix sur IPBassil, Carole 12 December 2005 (has links) (PDF)
Depuis l'invention du premier téléphone par Alexandre Graham Bell en 1869, la téléphonie n'a cessé d'évoluer : de la commutation de circuit à la commutation par paquet, d'un réseau fixe à un réseau mobile. Plusieurs architectures ont été crées où la voix est combinée aux données et à l'imagerie pour être transportées sur un seul réseau data. La nature de ces réseaux ouverts a un impact sur la voix en terme de sécurité. D'où le besoin imminent de sécuriser la voix tout en assurant une bonne qualité de service à la voix aussi bien dans un réseau fixe que dans un réseau mobile ou IP. Des solutions de sécurisation sont proposées pour les données. Mais des solutions partielles voire incomplètes sont proposées pour la voix. Dans un premier temps, nous définissons les besoins de la sécurisation de la téléphonie et les services de sécurité nécessaires à son déploiement. Ainsi, nous analysons la sécurité offerte par les différents réseaux offrant un service de téléphonie, à savoir la sécurité dans le réseau téléphonique traditionnel (RTC et RNIS), dans les réseaux mobiles (GSM et UMTS), et dans le réseau de données IP avec les deux architectures prépondérantes H.323 et SIP. Ceci va nous permettre de comparer les solutions de sécurité offertes par ces architectures de téléphonie et de pouvoir aborder d'une part, leur avantages et inconvénients et d'autre part, les exigences qu'ils ne peuvent pas satisfaire. Cette analyse nous conduit à un résultat éloquent qui est l'absence d'une solution de sécurité complète qui répond aux exigences de la téléphonie et qui permet d'effectuer un appel sécurisé de bout en bout.
|
60 |
Spécification et vérification des protocoles de sécurité probabilistesChatzikokolakis, Konstantinos 26 October 2007 (has links) (PDF)
Le concept de l'anonymat entre en jeu dans les cas où nous voulons garder le secret sur l'identité des agents qui participent à un certain événement. Il existe un large éventail de situations dans lesquelles cette propriété peut être nécessaire ou souhaitable, par exemple: web de vote surf, les dons anonymes, et l'affichage sur les babillards. L'anonymat est souvent formulées de manière plus générale comme une propriété de dissimulation d'informations, à savoir la propriété qu'une partie des informations relatives à un certain événement est tenu secret. Il faut être prudent, cependant, de ne pas confondre anonymat avec d'autres propriétés que la même description, notamment la confidentialité (secret aka). Laissez-nous insister sur la différence entre les deux concepts en ce qui concerne l'envoi de messages: la confidentialité se réfère aux situations dans lesquelles le contenu du message doit être gardée secrète, dans le cas de l'anonymat, d'autre part, c'est l'identité de l'expéditeur ou du destinataire, qui doit être gardée secrète. De la même façon, en votant, l'anonymat signifie que l'identité de l'électeur associés à chaque vote doit être caché, et non pas le vote lui-même ou le candidat a voté pour. D'autres propriétés remarquables de cette catégorie sont la vie privée et la non-ingérence. Protection des renseignements personnels, il se réfère à la protection de certaines données, telles que le numéro de carte de crédit d'un utilisateur. Non-ingérence signifie qu'un utilisateur bas ne seront pas en mesure d'obtenir des informations sur les activités d'un utilisateur élevés. Une discussion sur la différence entre l'anonymat et d'autres propriétés de dissimulation d'informations peuvent être trouvées dans HO03 [, HO05]. Une caractéristique importante de l'anonymat, c'est qu'il est généralement relative à la capacité de l'observateur. En général, l'activité d'un protocole peut être observé par divers observateurs, di? Vrant dans les informations qu'ils ont accès. La propriété anonymat dépend essentiellement de ce que nous considérons comme observables. À titre d'exemple, dans le cas d'un babillard anonyme, une annonce par un membre du groupe est maintenue anonymes aux autres membres, mais il peut être possible que l'administrateur du conseil d'administration a accès à une information privilégiée qui peut lui permettre de déduire l'identité du membre qui l'a publié. Dans l'anonymat peut être exigée pour un sous-ensemble des agents uniquement. Afin de définir complètement l'anonymat d'un protocole, il est donc nécessaire de préciser ce qui se (s) des membres ont de garder l'anonymat. Une généralisation est le concept de l'anonymat à l'égard d'un groupe: les membres sont divisés en un certain nombre de séries, et nous sommes autorisés à révéler à quel groupe l'utilisateur responsable de l'action appartient, mais pas l'identité de l'utilisateur lui-même. Plusieurs définitions formelles et les cadres d'analyse anonymat ont été développés dans la littérature. Elles peuvent être classifiées en ed approches fondées sur les processus de calculs ([SS96, RS01]), la logique épistémique ([SS99], HO03), et des vues de fonction ([HS04]). La plupart de ces approches sont fondées sur le principe dit de confusion: un système est anonyme si l'ensemble des résultats possibles observable est saturé pour les utilisateurs prévus anonymes. Plus précisément, si dans un calcul le coupable (l'utilisateur qui exécute l'action) est i et le résultat observable est o, alors pour tout autre agent j il doit y avoir un calcul où j est le coupable et l'observable est encore o. Cette approche est aussi appelée possibiliste, et s'appuie sur non-déterminisme. En particulier, les choix probabilistes sont interprétés comme non déterministe. Nous nous référons à RS01] pour plus de détails sur la relation de cette approche à la notion d'anonymat.
|
Page generated in 0.0426 seconds