Gestion de l'incertitude et codage des politiques de sécurité dans les systèmes de contrôle d'accès

La présente thèse s'intéresse à coder la politique de sécurité SELinux en OrBAC et à proposer une extension de ce modèle. Nous avons commencé par présenter l'état de l'art des différents modèles de contrôles d'accès présents dans la littérature en mettant en exergue les limites de chacun de ces modèles. Ensuite nous avons présenté le modèle OrBAC comme étant une extension du modèle RBAC, car d'une part il a apporté la notion de contexte et d'organisation et d'autre part il permet d'exprimer, en plus des permissions, des interdictions et des obligations. Ensuite, nous avons présenté la solution de sécurité SELinux qui utilise un ensemble de modèles de contrôle d'accès comme DAC, RBAC et MAC. Nous avons recensé plusieurs centaines, voire des milliers, de règles dans la politique de sécurité SELinux, ces règles peuvent concerner des décisions d'accès ou des décisions de transition. Nous avons ensuite pu coder lesdites règles en modèle OrBAC, et ce en passant par le remplissage ses tables d'entité, pour ensuite les transformer en relations OrBAC. Notre thèse a aussi rappelé les fondements de la logique possibiliste, et a ensuite apportée une amélioration importante du modèle OrBAC, il s'agit de l'introduction de l'entité priorité au niveau de chaque relation du modèle OrBAC. L'entité priorité quantifie la certitude pour qu'une entité concrète soit injectée dans l'entité abstraite correspondante, ou en cas général, le degré de certitude pour qu'une relation soit réalisée. Nous avons proposé trois modes de combinaison (pessimiste, optimiste et avancé) qui peuvent être adoptés pour déterminer la valeur de la priorité de chaque relation concrète à partir des priorités des relations abstraites correspondantes. Enfin, nous avons implémenté, via une application développé par DELPHI, le codage des règles concernant les décisions d'accès de la politique de sécurité SELinux, en modèle OrBAC tout en introduisant la notion de priorité.This thesis focuses on encoding default-based SELinux security policy in OrBAC and propose an extension of this model. We presented the state of the art of different models of access controls present in the literature underlining the limitations of each of these models. Then we presented the model OrBAC as an extension of the RBAC model, firstly because he brought the notion of context and organization and secondly it allows expressing, in addition to permissions, prohibitions and obligation. Then we presented the SELinux security solution that uses a set of access control models such as DAC, RBAC and MAC. We identified several hundreds or even thousands of rules in SELinux security policy, these rules may be access decisions or decisions of transition. We could then encode these rules in OrBAC model, and via filling its tables of entities, then transform relations OrBAC. Our thesis also reviewed the foundations of possibilistic logic, and then made an important enlargement in OrBAC model; it's to introduce an entity called "priority" in each relationship model OrBAC. The entity "priority" quantifies the certainty for concrete entity injection into the corresponding abstract entity, in general, it's meaning the degree of certainty that a relationship is performed. We proposed three modes of combination (pessimistic, optimistic and advanced) that can be adopted to determine the concrete relations priority value from priorities values of each corresponding abstract relationship. Finally, we implement, via an application developed by DELPHI, coding access decisions rules of the SELinux policy in OrBAC model introducing the priority entity.ARRAS-Bib.electronique (620419901) / SudocSudocFranceF

Aide à la Facilitation pour une prise de Décision Collective : Proposition d'un Modèle et d'un Outil

Decision Support Systems (DSS) were designed to resolve ill or non-structured decision problems. Problems where priorities, judgements, intuitions and experience of the decision-maker are essential, where the sequence of operations such as searching for a solution, formalization and structuring of problem is not beforehand known, when criteria for the decision making are numerous, in conflict or hard dependent on the perception of the user and where resolution must be acquired at restricted time. However, traditional DSS have been closed systems and are limited to the data and models contained within the system. In general, the type of support provided is relatively passive because decision makers are expected to scan internal and external data, and find discrepancies and deviations from expectations invoking ad hoc queries and reports that run on operational databases. In the other hand, Furthermore, many mission-critical, decision making situations happen in dynamic, rapidly changing, and often unpredictable distributed environments and require synchronous cooperative session. Unlike other decision making tools, decision support systems (DSS) designed for such situations are challenged by the need to access this decentralised information at time, from anywhere, under tight time constraints. In this thesis we consider, the paradigm of distributed decision-support systems where several decision-makers must reach a common decision. As a solution we propose an integrated framework based on a distributed architecture based on two cooperation modes: (1) Man-machine cooperation (2) Mediated man-man cooperation. According to the former cooperation mode, each decision-maker uses a specific cooperative intelligent decision support system allowing him to solve problem and to generate alternative solutions. The support system is viewed as a set of computer-based tools integrating expert knowledge and using collaboration technologies that help decision-makers and provide them with interactive capabilities to enhance their understanding and information base about options through use of models and data processing. By endowing the machine of additional capacities to intelligently guide the decision maker in its problem solving process, the system plays a collaborator's role with the decision-maker. This implies a human decision-maker and an automated system sharing dynamically the tasks and jointly working towards a decision. We assume that putting the human operator effectively in the loop of such decision support system represents the major guarantee of mastering efficiently the inherent complexity of the problems. Whilst considering the latter mode, The Group Decision Support (GDSS) tools allow the group of decision makers and the facilitator to make collective decision. This kind of cooperation uses a machine as an intermediate communication medium. As many group facilitation tasks can be automated, at least partially to increase the bandwidth of group communication and the ability of the facilitator to monitor and control the meeting process, an automated process to aid even the most inexperienced facilitator. The support to facilitators is considered by incorporating a model of the decision making process. The selected model provides a detailed view of decision making process. Having a model of the decision making process built into the system should enable intelligent decisional guidance. It enables the facilitator to appropriately choose and use the framework's tools and techniques in the group decision-making processes, to monitor group's behaviour, to know when to employ particular tools and techniques to move the group towards congruence. and to provide cues and customized explanations accordingly. We illustrate the applicability and relevance of this framework through a case study related to the management system of the boiler combustion which is one of the most critical systems for the good functioning of an oil plant. It has a high impact on the methods of thinking and apprehension of various problems related to maintenance. It is a multi-participant process with high level interactivity.Nous nous plaçons dans le contexte de situations décisionnelles critiques où les activités de prise de décision collective sont généralement caractérisées par des sessions de coopération synchrones au sein d'environnements distribués dynamiques, évolutifs et souvent imprévisibles. Au cours de ces sessions, les participants agissent simultanément et depuis des points d'accès distribués sur des objets partagés en suivant des règles de coordination pouvant être implicites ou explicites et en utilisant un ensemble d'outils qui leur permettent de progresser de façon coordonnée. Chacun des participants prend quelques décisions partielles, celles-ci servant de base aux suivantes. La prise de décision nécessite alors une synergie d'efforts de plusieurs membres afin que chacun d'eux mette à contribution son savoir-faire. Les membres ayant différents intérêts, compétences et expériences ne sont plus situés dans la même pièce mais utilisent des informations venant d'autres acteurs via des réseaux de type Internet ou intranet. D'ailleurs, c'est grâce à cette synergie que les membres peuvent atteindre des résultats supérieurs à ceux que qu'ils auraient pu réaliser individuellement. Ainsi l'outil pour décider devient l'outil pour décider ensemble. La contribution principale de cette thèse dans le domaine d'aide à la facilitation de la prise de décision collaborative se trouve dans la conception et la mise en œuvre d'un modèle et d'un système dédiée à la facilitation de la prise de décision de groupe synchrone distribuée. Cette structure collective entre agents humains permet d'une part d'additionner et de mutualiser les savoirs et les capacités créatrices, et d'autre part de limiter l'incertitude inhérente au processus de prise de décision par l'échange et la comparaison des points de vue. L'idée directrice de ce modèle est de renforcer la communication ainsi que la coopération entre les différents acteurs impliqués dans la prise de décision collective. Il s'agit d'une phase de production et de résolution créative de problème individuelle précédant la présentation des contributions au collectif. Cette dynamique d'éclatement puis de regroupement implique des mécanismes de coopération et de communication entre le groupe et l'individu

Modélisation générique d'un retour d'expérience cognitif. Application à la prévention des risques

Nous avons défini dans cette thèse une architecture logicielle générique permettant de réaliser des applications de retour d'expérience cognitif. Ces derniers intègrent une formalisation de l'analyse experte et sont une alternative aux Systèmes à Bases de Connaissance. Les applications sont opérationnalisées à partir de la définition du modèle de l'expérience qui est basé sur une structure objet simple couplée avec le modèle des croyances transférables pour prendre en compte les intertitudes. Nous avons développé des algorithmes génériques de recherche adaptés à la formalisation retenue de l'entité expérience ainsi qu'un alogorithme d'extraction d'un indicateur du risque. Ces algorithmes sont basés sur une proposition de similarité ensembliste particulière. Le modèle générique est basé sur un modèle adaptatif (Adaptive Object Model). Nous avons appliqué une partie des résultats de la thèse dans le cadre d'un projet Européen INTERREG SUP (Sécurité Urgence Pyrénées)

TOTh 2010, Terminology & Ontology: Theories and applications

International audienceAvant proposCette année la conférence a été précédée d’une journée de formation consacrée à la terminologie et l’ontologie, à leurs liens et leurs apports mutuels. L’intérêt qu’a suscité cette journée nous amènera certainement à réitérer l’opération les années suivantes.Le succès de la conférence d’ouverture de notre collègue Frédéric Nef, portant sur l’ontologie prise dans sa dimension philosophique, a montré, s’il en était encore besoin, la richesse d’une approche pluridisciplinaire.Animées par différents présidents, les sessions ont alterné présentations théoriques et démonstrations de systèmes, offrant ainsi l’opportunité à plusieurs industriels de nous parler de leurs projets. L’éventail des sujets abordés, à travers les quatorze présentations retenues (incluant la conférence d’ouverture) réparties sur deux jours, illustre la richesse mais aussi la vitalité de notre communauté : aide à la traduction, thésaurus multilingue, phraséologie, entité nommé, recherche d’information, etc. L’ « actualité » n’était pas oubliée à travers une ontologie des risques financiers.Enfin, les Conférences TOTh sont devenues internationales à partir de cette année avec le français et l’anglais comme langues officielles. Le comité de programme s’est ouvert à de nouveaux membres portant à dix le nombre de pays représentés et à plus de 40% le nombre de personnalités étrangères. Gageons que cette ouverture sera prometteuse.Christophe RochePrésident du Comité Scientifiqu

Contribution à la spécification et à l'élaboration d'une plateforme de maintenance orientée connaissances

Le maintien en condition opérationnelle des équipements industriels est un des enjeux importants de l'entreprise, et a fait passer la maintenance d'un centre de coût à un centre de profit, ce qui a eu pour conséquence une éclosion de logiciels d'aide à la maintenance allant de la GMAO aux plateformes de e-maintenance. Ces systèmes d'aide fournissent aux différents acteurs de la maintenance, un support à la décision et un ensemble de services permettant une gestion informatisée d'activités de base appartenant au processus de maintenance (exemple l'intervention, la planification, le diagnostic, etc.). Toutefois, les besoins des utilisateurs évoluent dans le temps en fonction de nouvelles contraintes, de leur expertise, des nouvelles connaissances. Par contre les services fournis n'évoluent pas et nécessitent une réactualisation. Afin de tenir compte de l'évolution de ces connaissances, pour que ces systèmes d'aide puissent répondre aux besoins des utilisateurs et puissent proposer des services à la demande et des services évolutifs nous avons fait le point dans cette thèse sur les avantages et limites des systèmes informatiques d'aide existants notamment les plateformes de e-maintenance (systèmes les plus avancés aujourd'hui en maintenance). Pour pallier le manque des systèmes existants, nous avons proposé le concept de s-maintenance qui est caractérisé principalement par les échanges collaboratifs entre applications et utilisateurs, par des connaissances communes du domaine de maintenance. Pour mettre en œuvre ce concept, nous avons proposé une plateforme orientée connaissances assurant des fonctionnalités auto-x (auto-traçabilité, auto-apprentissage, autogestion) qui permettent de répondre aux caractéristiques de la s-maintenance. L'architecture à base de composants de cette plateforme prend appui sur une base de connaissances partagée entre les différents composants qu'elle intègre au profit de l'interopérabilité sémantique ainsi que de la capitalisation des connaissances. Nous avons par ailleurs développé une ontologie du domaine de maintenance sur laquelle s'appuie cette base de connaissances. Finalement, afin de développer les fonctionnalités auto-x assurées par la plateforme nous avons proposé un système à base de traces exploitant la base de connaissances et l'ontologie associéeOperational condition maintenance of industrial equipment is a principal challenge for the firm production. This fact transfer the maintenance from the cost center to the profit center which has lead to massif development of maintenance support system starting from the GMAO to the e-maintenance platform. These systems provide to the maintenance agent, decision-support, and set of services allowing a computerized management of core activities for maintenance process. (e.g. intervention, planning, diagnostic,...). However, the user request continues evolving in time with respect of their expertise, their renewed knowledge and new constraints. On the other hand, the existing services are not following their requirements and they need to be updated. In this thesis, an overview on the advantage and drawback of existing computerized support system, in particular the e-maintenance platform (the most advanced maintenance system) is presented in order to meet the users needs and propose scalable and on-demand services. To overcome the existing system shortage, we propose the s-maintenance concept characterized by the collaborative exchange between users and applications and the common knowledge of the maintenance field. Thus, to implement this concept, a knowledge-oriented platform is proposed providing the auto-x functionalities (auto-traceability, auto-learning and auto-management) and meeting the s-maintenance characteristics. The architecture based on components of this platform, is also based on shared knowledge between integrated components for the benefit of the semantic interoperability as well as for the knowledge capitalization. Maintenance domain ontology is also developed on which the knowledge base is rested. Finally, in order to develop the auto-x functionalities, provided by the platform, a trace-based system is proposed by exploiting the knowledge base and the associated ontology.BESANCON-Bib. Electronique (250560099) / SudocSudocFranceF

Analyse des dynamiques spatio-temporelles des systèmes de peuplement dans un contexte d'incertitude : Application à l'archéologie spatiale

The uncertainty inherent to our comprehension of past settlement systems, generated by our ways of collecting or recording data but also by our spatio-temporal categorisation and reflexion on this information, greatly condition hypotheses and results. This thesis was carried out in the framework of PaleoSyr/PaleoLib project, and develops a methodological and exploratory reasoning chain whose aim is to reveal and formalise with spatial analysis several levels of knowledge and uncertainty which are inherent to archaeological databases. It proposes alternatives to try and avoid the conditioning imposed by rigid spatio-temporal categories such as periods or survey zones. It is organised in two major axes : the first one intends to clarify and synthetize several levels of information which are inherent to a big database covering Occidental Syria and Lebanon from -9600 B.C to the present, by adapting decision making and spatio-morphological methods, and through geovisualisation processes in an exploratory dimension. The second axis explores and evaluates locally the impacts of the various spatio-temporal and uncertainty levels revealed by data with geostatistics and spatial statistics on our perception of spatio-temporal change, on a test zone situated at the North-West of Syria. Several models of the “possible pasts” of settlement with the help of fuzzy logic are then proposed, depending on the various spatio-temporal and uncertainty levels taken into account.L’incertitude inhérente à notre appréhension des systèmes de peuplement passés, engendrée par les modes de collecte ou d’enregistrement des données, mais aussi par nos modes de catégorisation et de réflexion spatio-temporelles sur cette information, conditionnent fortement les hypothèses et les résultats qui en découlent. Cette thèse, menée dans le cadre du projet PaléoSyr/PaléoLib, présente une chaîne de raisonnement méthodologique exploratoire destinée à révéler et formaliser par des méthodes d’analyse spatiale divers niveaux de connaissance et d’incertitude inhérents aux bases de données archéologiques, tout en proposant des alternatives destinées à s’écarter du conditionnement imposé par les catégories spatio-temporelles rigides telles que les périodes ou les limites de zones de prospection. Celle-ci est structurée en deux axes majeurs : le premier a pour objectif de clarifier et de synthétiser les niveaux d’information inhérents à une vaste base de données couvrant la Syrie occidentale et le Liban de -9600 av. J.-C. à nos jours, en adaptant des méthodes d’aide à la décision et d’analyse spatio-morphologique, et par des procédés de géovisualisation dans une optique exploratoire. Le second axe explore et évalue localement les impacts des divers niveaux spatio-temporels que révèlent les données par des méthodes d’analyse géostatistique et de statistique spatiale, et des niveaux d’incertitude sur notre perception du changement spatio-temporel, sur un espace situé au Nord-Ouest de la Syrie. Divers modèles des « passés possibles » du peuplement élaborés à l’aide de la logique floue seront proposés, en fonction des divers niveaux spatio-temporels et d’incertitude envisagés

Conférence Nationale d'Intelligence Artificielle Année 2020

National audienc

Intégration de la biodiversité dans l'évaluation environnementale stratégique des aménagements dans le bassin fluvial du programme Kandadji au Niger

La surexploitation, la destruction et la dégradation d'habitats, l'invasion des espèces exotiques, et la modification du régime hydrologique des cours d'eau menacent la biodiversité et les avantages qui y sont liés un peu partout dans le monde. Dans les pays en développement, la dégradation de l'environnement est exacerbée par la pauvreté, une forte croissance démographique ainsi que certaines politiques de développement. Cela se traduit par des pertes de biodiversité particulièrement dans les bassins fluviaux comme ceux d'Afrique de l'Ouest. La nécessité de conserver les écosystèmes et les autres éléments de la biodiversité fluviale suggère une évaluation des pratiques anthropiques liées aux ouvrages structurants que sont les barrages. En effet, ces derniers modifient complètement la dynamique d'un bassin et entraînent souvent des conflits d'usage selon les modèles techniques d'aménagement adoptés. Cette étude démontre la possibilité de mieux planifier les actions de développement en s'appuyant sur un dispositif d'évaluation environnementale stratégique et l'application de méthodes d'aide multicritère à la décision dans un contexte multi acteurs. Il s'agit d'intégrer et de tenir compte des intérêts et valeurs de toutes les parties prenantes à la gestion de la biodiversité. Pour ce faire, l'étude s'appuie sur une étude de cas, celle du Programme « Kandadji » au Niger, pour simuler une approche méthodologique en trois (3) phases à savoir la structuration du problème d'évaluation, le développement du modèle d'évaluation (grille d'analyse) et l'élaboration des recommandations. Les approches PROMETHEE et GAIA qui font partie des méthodes de surclassement, l'une des trois approches multicritères, ont été privilégiées et mises en œuvre avec le logiciel D-Sight pour l'agrégation de synthèse. Le processus a permis d'identifier quatre (4) types de préoccupations correspondant à autant de catégories (reliées aux dimensions du développement durable) pour les sept (7) enjeux retenus. En outre, quatre options d'aménagement ont été identifiées puis évaluées à partir de neuf (9) critères et indicateurs de mesure. Les résultats du classement suggèrent une adhésion des seize (16) parties prenantes, à la préservation de la biodiversité sans exclure son utilisation durable dans un cadre de gouvernance participative. Ainsi, l'option de compromis est celle qui minimise les superficies emblavées permettant ainsi de réduire les répercussions sur la biodiversité. Ainsi, l'application des méthodes multicritères dans un contexte multi-acteurs et suivant une logique contributive, est pertinente pour traiter de problèmes de conservation de la biodiversité. Elle permet d'aboutir à une meilleure décision en encadrant et favorisant l'intégration du savoir social et les valeurs des acteurs par l'instauration d'un climat de transparence et de responsabilisation pour la prise de décision.\ud ______________________________________________________________________________ \ud MOTS-CLÉS DE L’AUTEUR : Biodiversité, bassins fluviaux, barrages, évaluation environnementale stratégique, aide multicritère à la décision

Modélisation probabiliste du style d'apprentissage et application à l'adaptation de contenus pédagogiques indexés par une ontologie

Cette thèse s'inscrit dans le cadre général des systèmes d'enseignement adaptatifs. La problématique traitée est l'adaptation de l'activité pédagogique au mode d'apprentissage préféré de l'élève. Les travaux réalisés ont eu pour objectifs de : modéliser les préférences d'apprentissage de l'élève ; modéliser les contenus pédagogiques du domaine à enseigner ; proposer une stratégie d'adaptation qui rapproche les préférences des contenus afin de proposer une méthode pédagogique appropriée. Pour atteindre le premier objectif, la thèse étudie le style d'apprentissage de Felder. Une étude empirique pour établir un modèle de dépendance entre style, pédagogie, et comportement de l'élève a été réalisée. Les résultats ont permis d'établir un modèle de préférences probabiliste. Une méthode en deux étapes pour apprendre ce odèle puis le renforcer est développée. Deux implantations sont proposées : un réseau bayésien et une machine à vecteurs de support. Le contenu quant à lui est modélisé en utilisant une ontologie combinant le domaine, la pédagogie, ainsi que les ressources physiques. Une stratégie d'adaptation structurée sur quatre dimensions est présentée. Celle-ci consiste à rechercher dans le contenu la séquence pédagogique sémantiquement pertinente pour les préférences de l'élève. La recherche s'appuie sur une mesure de similarité sémantique qui est établie. Ce travail a eu un impact sur deux projets européens. En effet, la méthode de production et structuration des contenus, basée sur SCORM, qui est proposée a servi pour le projet UP2UML. L'approche de modélisation de l'élève sert aux recherches sur le profilage dans le projet KPLAB. ABSTRACT : This thesis deals with adaptive teaching systems. The research question is how to adapt pedagogical activities to the prefered learning mode of a student. The scientific objectives are: modelisation of student's learning preferences ; modelisation of adaptive learning contents of a given domain ; establishing an adaptation strategy that maps preferences to contents in order to recommend an appropriate teaching method In order to reach the first objective, the thesis studies the learning style of Felder. An empirical study to derive a dependency model between the style, the pedagogy, and the student behaviour has been conducted. Results led to creating a probabilistic preference model. A two-stage method to learn and reinforce the model is developed. Two implementations are proposed: a bayesian network and an SVM classifier. The content is represented using an ontology that combines the domain, the pedagogy, and the physical resources. An adaptation strategy centered around four dimensions is presented. This consists of searching the content to retrieve the most semantically pertinent pedagogical sequence given the student preferences. The search implements an original semantic similarity measure. This work significantly impacted two European research projects. The production and structuration method designed in this thesis and based on SCORM has been applied in the Leonardo Da Vinci project called UP2UML. The student modeling approche serves currently our research on user profiling in the KPLAB projec