Un modèle de validation automatique de mécanismes de sécurisation des communications

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

Protocole de routage basé sur des passerelles mobiles pour un accès Internet dans les réseaux véhiculaires

La rapide progression des technologies sans fil au cours de ces dernières années a vu naître de nouveaux systèmes de communication dont les réseaux véhiculaires. Ces réseaux visent à intégrer les nouvelles technologies de l’information et de la communication dans le domaine automobile en vue d’améliorer la sécurité et le confort sur le réseau routier. Offrir un accès Internet aux véhicules et à leurs occupants peut sans doute aider à anticiper certains dangers sur la route tout en rendant plus agréables les déplacements à bord des véhicules. Le déploiement de ce service nécessite que des messages soient échangés entre les véhicules. Le routage constitue un élément crucial dans un réseau, car définissant la façon dont les différentes entités échangent des messages. Le routage dans les VANETS constitue un grand défi car ces derniers sont caractérisés par une forte mobilité entraînant une topologie très dynamique. Des protocoles ont été proposés pour étendre Internet aux réseaux véhiculaires. Toutefois, la plupart d’entre eux nécessitent un coût élevé de messages de contrôle pour l’établissement et le maintien des communications. Ceci a pour conséquence la saturation de la bande passante entrainant ainsi une baisse de performance du réseau. Nous proposons dans ce mémoire, un protocole de routage qui s’appuie sur des passerelles mobiles pour étendre Internet aux réseaux véhiculaires. Le protocole prend en compte la mobilité des véhicules et la charge du réseau pour l’établissement et le maintien des routes.

Un protocole de diffusion des messages dans les réseaux véhiculaires

De nos jours, la voiture est devenue le mode de transport le plus utilisé, mais malheureusement, il est accompagné d’un certain nombre de problèmes (accidents, pollution, embouteillages, etc.), qui vont aller en s’aggravant avec l’augmentation prévue du nombre de voitures particulières, malgré les efforts très importants mis en œuvre pour tenter de les réduire ; le nombre de morts sur les routes demeure très important. Les réseaux sans fil de véhicules, appelés VANET, qui consistent de plusieurs véhicules mobiles sans infrastructure préexistante pour communiquer, font actuellement l’objet d'une attention accrue de la part des constructeurs et des chercheurs, afin d’améliorer la sécurité sur les routes ou encore les aides proposées aux conducteurs. Par exemple, ils peuvent avertir d’autres automobilistes que les routes sont glissantes ou qu’un accident vient de se produire. Dans VANET, les protocoles de diffusion (broadcast) jouent un rôle très important par rapport aux messages unicast, car ils sont conçus pour transmettre des messages de sécurité importants à tous les nœuds. Ces protocoles de diffusion ne sont pas fiables et ils souffrent de plusieurs problèmes, à savoir : (1) Tempête de diffusion (broadcast storm) ; (2) Nœud caché (hidden node) ; (3) Échec de la transmission. Ces problèmes doivent être résolus afin de fournir une diffusion fiable et rapide. L’objectif de notre recherche est de résoudre certains de ces problèmes, tout en assurant le meilleur compromis entre fiabilité, délai garanti, et débit garanti (Qualité de Service : QdS). Le travail de recherche de ce mémoire a porté sur le développement d’une nouvelle technique qui peut être utilisée pour gérer le droit d’accès aux médias (protocole de gestion des émissions), la gestion de grappe (cluster) et la communication. Ce protocole intègre l'approche de gestion centralisée des grappes stables et la transmission des données. Dans cette technique, le temps est divisé en cycles, chaque cycle est partagé entre les canaux de service et de contrôle, et divisé en deux parties. La première partie s’appuie sur TDMA (Time Division Multiple Access). La deuxième partie s’appuie sur CSMA/CA (Carrier Sense Multiple Access / Collision Avoidance) pour gérer l’accès au medium. En outre, notre protocole ajuste d’une manière adaptative le temps consommé dans la diffusion des messages de sécurité, ce qui permettra une amélioration de la capacité des canaux. Il est implanté dans la couche MAC (Medium Access Control), centralisé dans les têtes de grappes (CH, cluster-head) qui s’adaptent continuellement à la dynamique des véhicules. Ainsi, l’utilisation de ce protocole centralisé nous assure une consommation efficace d’intervalles de temps pour le nombre exact de véhicules actifs, y compris les nœuds/véhicules cachés; notre protocole assure également un délai limité pour les applications de sécurité, afin d’accéder au canal de communication, et il permet aussi de réduire le surplus (overhead) à l’aide d’une propagation dirigée de diffusion.

Sécurité polynomiale en cryptographie

Dans ce mémoire, nous proposons des protocoles cryptographiques d'échange de clef, de mise en gage, et de transfert équivoque. Un premier protocole de transfert équivoque, primitive cryptographique universelle pour le calcul multi-parties, s'inspire du protocole d'échange de clef par puzzle de Merkle, et améliore les résultats existants. Puis, nous montrons qu'il est possible de construire ces mêmes primitives cryptographiques sans l'hypothèse des fonctions à sens unique, mais avec le problème 3SUM. Ce problème simple ---dans une liste de n entiers, en trouver trois dont la somme a une certaine valeur--- a une borne inférieure conjecturée de Omega(n^2).

Le Canada et l’article 1F de la Convention relative au statut des réfugiés : une application large en réponse aux menaces à la sécurité nationale

En 1951, le droit international des réfugiés voyait le jour avec la Convention relative au statut des réfugiés. Cette convention ainsi que son Protocole stipulent la définition contemporaine de cette notion et les obligations de l'État d'accueil à l’égard des réfugiés mais y prévoit aussi une exception. En effet, les rédacteurs de la Convention de 1951, percevant que certains bourreaux tenteraient d'user de ce mécanisme pour échapper à des poursuites en trouvant refuge à l'étranger, y ont intégré une dérogation à la définition de réfugié qui a pris la forme d’une clause d'exclusion. Celle-ci permet à tout État ayant adhéré à cet instrument de refuser d'accueillir sur son territoire les individus à l'origine des plus grands crimes internationaux et nationaux. Le Canada, en ratifiant la Convention de 1951 et son Protocole en 1969, a incorporé dans sa législation nationale cette clause d'exclusion dans l'article 98 de la Loi sur l'immigration et la protection des réfugiés. Le présent mémoire porte sur l'application de cette clause d'exclusion en droit canadien. Nous proposons une analyse de l'application de cette disposition en droit interne. L’objectif général est de montrer que les cours de justice favorisent une interprétation trop large de la clause d’exclusion, dénaturant ainsi son statut de règle d’exception. En effet, cette interprétation jurisprudentielle a pour conséquence d’attribuer un poids prépondérant à la sécurité nationale aux dépens du caractère humanitaire qui imprègne le droit d’asile depuis ses origines.

Sécurité des droits de propriété et intégration verticale dans l'industrie pétrolière.

Rapport de recherche

L’évolution des politiques de prévention et de sécurité en Europe

Philippe Robert, Juriste français et sociologue du droit

Normalisation et normation chez Michel Foucault : Une généalogie de la sécurité

Alexandre Mac Millan, Doctorant (Département de communication, Université de Montréal)

La sécurité juridique des transactions dans un monde global

Alessandra Zanobetti, Secrétaire général adjoint, UNIDROIT. Présentation dans le cadre du cycle de conférences organisé par le CRDP intitulé « Le droit à la sécurité ... la sécurité par le droit ».