Condition essentielle de l’exercice des libertés individuelles et collectives, la sécurité intérieure est au centre des préoccupations des citoyens et de leurs gouvernants. Dès lors, la criminalité contemporaine, phénomène multi-causal, a considérablement évolué, tant par son ampleur que par sa nature, nécessitant, dans le respect des libertés fondamentales, la mise en oeuvre d’une politique ambitieuse. Pour parer aux menaces ou aux manifestations de la criminalité contemporaine, des lois nombreuses et récentes sont venues reformuler le caractère prioritaire des orientations de l’Etat en matière de sécurité intérieure et de justice. Elles s’articulent autour des réformes structurelles, placées sous le signe d’une coopération approfondie entre les acteurs de la sécurité, mais aussi d’une volonté de leur fournir un cadre administratif et juridique rénové. Complétant ce dispositif global de lutte contre la criminalité contemporaine, la criminalité apparaît également comme un instrument qui joue un rôle indispensable dans la conduite des enquêtes pénales. Désormais, elle contribue, dans une large mesure, à l’administration de la preuve pénale, en cas de présomption de crime et d’autres infractions, au sein du dispositif global de sécurité intérieure. Mais, au-delà d’une simple aide apportée à la science de l’enquête, son avenir réside dans une meilleure exploitation, et donc efficacité de celle-ci. Ainsi, c’est par une politique s’appuyant aussi bien sur une rénovation ambitieuse du cadre institutionnel et juridique que sur les avancées concomitantes de la criminalistique que l’Etat pourra parvenir à infléchir la criminalité contemporaine. / The essential condition for the exercise of individual and collective freedoms roots itself in the notion of security, it is the cornerstone of the republican contract and the main concern of our leaders and citizens. It must be said that contemporary crime, a multi-causal phenomenon, has changed considerably, in its scope and in its basic nature, requiring, in respect of fundamental freedoms, the implementation of an ambitious security policy. Thus, some current legislation has been formulated on order to highlight the areas of highest priority for internal security and justice. Those legislations are base on one hand around some structural reforms under the sign of deepened cooperation between security bodies, and on the other hand, through a willing to provide an overall new legal and administrative framework. Adding to this throughout system which stands to fight against contemporary crime, criminalistics appears to be a key instrument. Notably playing an indispensable role in the conduct of criminal investigations, it is a leading force, to a large extent in the repression of crime and offenses in general within the overall system of internal security. Hence and notwithstanding the administration of criminal evidence by criminalistics is presented as a rational solution in the treatment of physical evidence in order to discover the truth. It is only a complementary solution and a simple help given to support the science of investigation. The future of the system lies in a greater exploration of this resource as it will enable the system to become more efficient. Thus, it is only through an uncompromising stance, utilizing knowledge from criminalistics and an ambitious advanced renovation of the institutional and legal framework, that the state will curb contemporary crime.

En ce qui concerne le développement des technologies informatique, les systèmes et les réseaux informatiques sont intensément utilisés dans la vie quotidienne. Ces systèmes sont responsables de nombreuses tâches essentielles pour notre communauté sociale (par exemple, système de traitement médical, E-Commerce, Système d'avion, système de vaisseau spatial, etc.). Quand ces systèmes cessent de fonctionner ou sont corrompus, les pertes économiques peuvent atteindre des sommes inacceptables. Pour éviter ces situations, les systèmes doivent être sécurisés avant leur installation. Alors que la plupart de ces systèmes sont mis en œuvre à partir de spécifications des protocoles, les problèmes de vérification de la sécurité de systèmes concrets renvient à vérifier la sécurité de l'implémentation de ces protocoles. Dans cette thèse, nous nous concentrons sur les méthodes de vérification de la sécurité des implémentations des protocoles et nous sommes intéressés à deux principaux types d'attaques sur les réseaux : Déni de service (DoS) et attaque de Protocol d’authentification. Nous étudions les caractéristiques de ces attaques et les méthodes de vérification formelles. Puis nous proposons modèle étendu de IOLTS et les algorithmes correspondants à la génération de les cas de test pour la vérification de sécurité automatique. Afin d'éviter les explosions d'état possibles, nous formalisons également les expériences de sécurité du testeur comme le « Objectif de Sécurité » pour contrôler la génération de test sur la volée. Parallèlement, une méthode d'analyse basée sur le modèle pour la Systèmes de Détection d'intrusion Anomalie (Anomaly IDS) est également proposée dans cette thèse, ce qui peut améliorer les capacités de détecter des anomalies de l'IDS. Ces méthodes de vérification proposées sont mises en évidence par l'étude de RADIUS protocole et un outil intégré de graphique est également proposé pour facilement les opérations de la génération de test. / Regarding the development of computer technologies, computer systems have been deeply used in our daily life. Those systems have become the foundation of our modern information society. Some of them even take responsibilities for many essential and sensitive tasks (e.g., Medical Treatment System, E-Commerce, Airplane System, Spaceship System, etc.). Once those systems are executed with problems, the loss on the economy may reach an unacceptable number. In order to avoid these disappointing situations, the security of the current systems needs to be verified before their installations. While, most of the systems are implemented from protocol specifications, the problems of verifying the security of concrete system can be transformed to verify the security of protocol implementation. In this thesis, we focus on the security verification methods of protocol implementations and we are interested with two main types of network attacks: Denis-of-Services (DoS) attacks and Protocol Authentication attacks. We investigate the features of these attacks and the existed formal verification methods and propose two extended models of IOLTS and the corresponding algorithms to generate the security verification test cases automatically. In order to avoid the possible state explosions, we also formalize the security experiences of the tester as Security Objective to control the test generation on-the-fly. Meanwhile, a modeled based Anomaly Intrusion Detection Systems (IDS) analysis method is also proposed in this thesis, which can enhance the detect abilities of Anomaly IDS. These proposed verification methods are demonstrated with the case study of RADIUS protocol and an integrated GUI tool is also proposed to simply the operations of test generation.

Il est préconisé de développer le climat de sécurité (CS) pour améliorer la sécurité des soins. Dans cette thèse, nous essaierons de préciser l’utilisation du concept de CS pour l’évaluation d'interventions d’amélioration de la sécurité des soins.Les objectifs des travaux présentés étaient d’élaborer un questionnaire de CS en français et d’évaluer l’impact de l’analyse de vignettes d’événements indésirables associés aux soins (EIAS) sur le CS d’unités de soins en milieu hospitalier.Ces travaux ont montré la faisabilité de mesurer le CS avec une version française du questionnaire américain, le Hospital Survey On Patient Safety Culture (HSOPSC). Ils ont permis de proposer une version française aux performances psychométriques suffisantes. Ils ont montré l’importance du rôle de l’encadrement, de l’organisation apprenante et du travail d’équipe entre services. La version française de l’HSOPSC a été utilisée pour évaluer l’effet de l’analyse de vignettes d’EIAS. Testée dans un essai contrôlé randomisé en clusters, cette intervention a amélioré les perceptions des professionnels sur l’organisation apprenante et l’amélioration continue, sans modifier les autres dimensions.Face à la difficulté de modifier dans un temps court l’ensemble des dimensions, le CS devrait être utilisé pour caractériser le contexte d'implémentation des interventions afin de les adapter et de mieux en comprendre l’impact, plutôt que pour servir de critère de résultat.Les pistes de recherche sont d’étudier la pérennité d’une intervention au-delà de son évaluation initiale au travers du maintien ou du développement de la culture de sécurité ; et d’étudier les perceptions des patients en matière de sécurité de soins / It is recommended to develop the safety climate (SC) to improve patient safety. In this thesis, we will try to clarify the use of the CS concept for the evaluation of interventions aiming to improve patient safety.The objectives of the articles presented were to develop a French version of a SC questionnaire and to assess the impact of a vignette-based analysis of adverse events (AEs) on the SC of care units.The studies demonstrated the feasibility of measuring the SC with a French version of the American questionnaire, the Hospital Survey On Patient Safety Culture (HSOPSC). They made it possible to propose a French version with sufficient psychometric performance. They showed the importance of the role of supervision, the organisational learning and teamwork between units. The French version of the HSOPSC was used to evaluate the effect of the vignette-based analysis of AEs. Tested in a randomized controlled cluster trial, this intervention improved professionals' perceptions of the organisational learning and continuous improvement, without modifying other dimensions.Given the difficulty of modifying all dimensions in a short period of time, SC should be used to characterize the context in which interventions are implemented in order to adapt them and better understand their impact, rather than being used as an outcome criterion.The research areas are to study the sustainability of an intervention beyond its initial evaluation through the maintenance or development of a safety culture; and to study patients' perceptions of care safety

L'établissement de la confiance est un problème qui se pose en permanence dans la vie quotidienne. Nous avons toujours besoin d'évaluer la confiance que l'on a en quelqu'un avant de décider d'entreprendre une action avec. Il s'agit bien évidemment d'une question très importante pour les applications de l'Internet où il est de plus en plus rare d'engager une transaction avec des personnes ou des entités que l'on connaîtrait au préalable. La confiance est un élément clé pour le développement et le bon fonctionnement des applications d'e-commerce et par extension de tous les services qui amènent à des interactions avec des inconnus.Le but de cette thèse est de proposer une infrastructure de gestion de la confiance qui permette à chaque participant d'exprimer sa propre politique de confiance ; politique qui guidera le comportement des applications qui fournissent ou qui permettent d'accéder à des services. Cette infrastructure met en œuvre des mécanismes de négociation qui vont permettre d'établir une confiance mutuelle entre les différents participants d'une transaction. Un des points importants de notre proposition est d'offrir un langage d'expression des politiques qui permet d'utiliser toutes les sources d'informations disponibles telles que les qualifications (credentials), la notion de réputation, de recommandation, de risque pour exprimersa politique de confiance.

Ces dernières années, la sécurité est devenue un défi dans les réseaux informatiques. Les logiciels anti-virus, les pare-feu et les systèmes de détection d'intrusion ne suffisent pas à empêcher les attaques sophistiquées fabriquées par plusieurs utilisateurs. Les réseaux informatiques de grille sont souvent composés de différents domaines administratifs appartenant à différentes organisations. Chaque domaine peut avoir sa propre politique de sécurité et ne pas vouloir partager ses données de sécurité avec des réseaux moins protégés. Il est donc plus complexe d'assurer la sécurité de ces réseaux et de les protéger des attaques interdomaines. La principale difficulté est de traiter la nature distinctive de l'infrastructure du réseau, à savoir: les réseaux multi-sites, les domaines multi-administratifs, la collaboration dynamique entre les nœuds et les sites, le nombre élevé de nœuds à gérer, l'absence de vue claire des réseaux externes et l'échange d'informations de sécurité entre différents domaines administratifs. Pour gérer les problèmes mentionnés ci-dessus, je propose un Security Event Manager (SEM) appelé Grid Security Operation Center (GSOC). GSOC peut aider les responsables de la sécurité informatique à donner une vision de la sécurité de l'ensemble du réseau sans compromettre la confidentialité des données de sécurité. Pour ce faire, GSOC fournit une évaluation de sécurité de chaque domaine administratif (AD) en fonction du nombre d'alertes de sécurité signalées. Il y a trois niveaux de sécurité définis: le niveau 1 est le plus sécurisé, le niveau 2 est le plus sécurisé et le niveau 3 est le moins sécurisé. Cette classification aide à identifier les AD qui sont sous les attaques ou les AD qui sont à haut risque d'être attaqué à l'avenir. Un mécanisme de corrélation en deux temps est proposé, ce qui réduit les alertes de sécurité et continue à détecter les attaques dans le cadre d'attaques distribuées intensives. Un schéma de partage d'alertes de sécurité paramétrique a été introduit. Les alertes de sécurité peuvent être partagées à tout moment entre les membres du réseau informatique. Ce partage d'alertes informe les membres participants à voir les attaques en cours dans les autres locaux des AD sans interférer dans la politique de sécurité. Ce concept de partage d'alertes de sécurité a été discuté dans le passé mais n'a jamais été mis en œuvre. GSOC est la première mise en œuvre de cette idée à la fine pointe de la technologie. Ce partage d'alertes permet de bloquer la propagation des réseaux inter-domaines dans les réseaux informatiques de grille. / In recent years security is becoming a challenge in grid computing networks. Anti-virus softwares, firewalls and intrusion detection systems are not enough to prevent sophisticated attacks fabricated by multiple users. Grid computing networks are often composed of different administrative domains owned by different organizations. Each domain can have its own security policy and may not want to share its security data with less protected networks. It is therefore more complex to ensure the security of such networks and to protect them from cross-domain attacks. The main difficulty is to deal with the distinguish nature of grid infrastructure, that are: multi-sites networks, multi-administrative domains, dynamic collaboration between nodes and sites, high number of nodes to manage, no clear view of the external networks and exchange of security information among different administrative domains. To handle the above mentioned issues, I am proposing a Security Event Manager (SEM) called Grid Security Operation Center (GSOC). GSOC can assist IT security managers in giving a view of the security of the whole grid network without compromising confidentiality of security data. To do so, GSOC provides a security evaluation of each administrative domain (AD) depending on the number of security alerts reported. There are three security levels defined as level 1 is the most secure, level 2 is the more secure and level 3 is the least secure. This classification helps to identify the ADs that are under attacks or the ADs that are at high risk of being attacked in future. A two step time based correlation mechanism is proposed which reduces the security alerts and continue detecting attacks under intense distributed attacks. A parametric security alerts sharing scheme has been introduced. Security alerts can be shared at any time between the members of the grid computing network. This alert sharing informs the participating members to see the ongoing attacks on the other premises of the ADs without interfering in the security policy. This security alert sharing concept has been discussed in past but never implemented. GSOC is the first state of the art implementation of this idea. This alert sharing helps in blocking the propagation of cross-domain networks in grid computing networks.

La majorité des études réalisées sur l'analyse des accidents de la route en milieu urbain empruntant principalement une méthodologie ponctuelle, cette recherche a comme principal objectif d'établir un modèle d'analyse zonale des accidents dans ce même type de milieu en permettant de considérer les éléments de l'environnement humain plus global dans lequel un accident s'est produit. Ce modèle est réalisé par le biais d'une analyse de régression intégrant des données de trois types. Il s'agit tout d'abord des données d'accidents, qui se rapportent aux caractéristiques des accidents, victimes et conducteurs impliqués dans un accident. Des données de recensement, portant sur l'aspect socio-économique et démographique de l'environnement, sont également considérées dans cette analyse. Enfin, certaines données d'ordre physique, se rapportant entre autres au réseau routier et à la circulation, sont incluses dans l'analyse de régression. L'ensemble de ces données étant au départ ponctuelles, elles ont dû subir une transformation zonale via une méthodologie spécifique établie à cet effet. Pour des fins de comparaison, l'analyse de régression est appliquée sur les données de deux années de recensement, soit 1986 et 1991.

Cette étude s'est intéressée à la relation entre le stress parental rapporté par les pères et la sécurité d'attachement de leur enfant. L'échantillon comprend 60 dyades père-enfant dont les enfants sont âgés entre 11 et 27 mois. La sécurité d'attachement a été évaluée par des évaluatrices formées à l'utilisation du Q-Sort Attachement de Waters et Deane (1995), suite à une période d'observation à domicile d'environ 2 heures. Le stress parental a pour sa part été évalué par le parent lui-même, à l'aide de la version abrégée de l'Indice de Stress Parental d'Abidin (1990). Les résultats démontrent qu'il existe un lien entre le stress parental et la sécurité d'attachement. Plus précisément, les pères seraient davantage sensibles au stress généré par les comportements de l'enfant (domaine enfant) et par la perception qu'ils ont de la relation qu'ils entretiennent avec leur enfant (domaine interaction parent-enfant). D'autres analyses ont permis d'explorer l'adéquation du Q-Sort Attachement auprès des dyades père-enfant. Enfin, les résultats appuient l'utilisation de cet instrument auprès d'une population masculine.

Depuis plusieurs années, l'utilisation et le déploiement de systèmes embarqués est en plein essor. Ces systèmes complexes, autrefois isolés les uns des autres, peuvent aujourd'hui communiquer entre eux afin de répondre à de nouveaux besoins. L'échange de données entre ces dispositifs et la facilité de les administrer à distance présentent deux avancées technologiques importantes. Par contre, d'un point de vue de la sécurité, cela les rend plus susceptibles de subir les attaques de pirates informatiques et de voir l'intégrité de leur micrologiciel compromise. Cette réalité est particulièrement vraie pour les systèmes embarqués réseautés domestiques qui sont en général moins bien protégés que leurs homologues en milieux industriels. L'objectif de ce travail de recherche consiste à identifier et éliminer les failles de sécurité dans les systèmes embarqués réseautés domestiques. La phase d'analyse est primordiale, puisque les vulnérabilités dans ces systèmes ne peuvent être contrôlées et éliminées que si elles sont bien identifiées. Cette analyse permettra ensuite de mieux comprendre le déroulement ainsi que l'ampleur de telles attaques afin de mieux s'en prémunir. Une fois cette phase complétée, une exploration de diverses technologies pouvant mener à la protection et à l'intégrité de ces systèmes sera réalisée. Quelques-unes de ces technologies de protection seront finalement employées lors d'une tentative de sécurisation d'un système embarqué réseauté domestique.

Le nombre de systèmes informatiques augmente de jour en jour et beaucoup d'entités malveillantes tentent d'abuser de leurs vulnérabilités. Il existe un fléau qui fait rage depuis quelques années et qui cause beaucoup de difficultés aux experts en sécurité informatique : les armées de robots (botnets). Des armées d'ordinateurs infectés sont constituées pour ensuite être louées et utilisées à des fins peu enviables. La société fait face à un problème : il est très difficile d'arrêter ces armées et encore plus de trouver leurs coordonnateurs. L'objectif de ce travail de recherche est de développer des outils destinés à identifier ces entités et aider à démanteler ces réseaux. Plus précisément, ce projet porte sur la conception d'une plateforme distribuée permettant de faire un pré-traitement des données collectées sur divers réseaux et de les distribuer dans un système d'analyse. Cette plateforme sera en libre source, facilement adaptable et flexible. De plus, elle devra être en mesure de traiter une grande quantité de données dans un court laps de temps. Ce système se distinguera étant donné qu'il sera distribué sur plusieurs réseaux sous un modèle client-serveur et collaborera dans le but de trouver les coordonnateurs de ces armées de robots.

Le chez-soi constitue une base pour la sécurité ontologique. De plus, l’itinérance marque particulièrement la signification du chez-soi et la sécurité ontologique. Padgett (2007) identifie cinq dimensions de la sécurité ontologique auprès de personnes itinérantes souffrant d’un trouble mental grave au sein d’un programme de type Housing First : le contrôle et l’autodétermination, la routine de la vie quotidienne, l’intimité, la construction identitaire (ou la réparation d’identités brisées) et les perspectives d’avenir. Mais qu’en est-il de la sécurité ontologique des personnes ayant vécu une expérience en logement de transition pour personnes en situation d’itinérance ? Au cours de cette étude, s’inscrivant dans une méthodologie qualitative et constructiviste, six personnes qui ont fait un passage dans les logements de transition de la Place Vimont ont été rencontrées en entrevue individuelle afin d’explorer leur expérience concernant la sécurité ontologique. Selon leurs propos, il semble que la sécurité ontologique constitue une expérience complexe et singulière, évoluant autour des dimensions de l’autonomie et du contrôle, de l’intimité, l’identification, de la routine et de la position face à l’avenir. Par ailleurs, le contexte apparaît jouer un rôle significatif dans l'expérience de la sécurité ontologique, particulièrement en ce qui a trait aux dimensions de l'habitation soit le logement, l'immeuble et le quartier. Néanmoins, des éléments du vécu individuel semblent également teinter cette expérience, aspects qu’il pourrait être intéressant d’explorer ultérieurement.