Search results

chapitre 03 : Les technologies du web appliquées aux données structurées ; National audience ; Défini par le World Wide Web Consortium (W3C) depuis la fin des années 1990, le web sémantique est un ensemble de standards et de technologies qui vise à faire entrer les données structurées dans l'environnement du web, en adoptant les principes, l'architecture et les techniques qui ont permis la construction de cet espace d'interopérabilité globale qu'est la toile d'aujourd'hui. Ces technologies ouvrent des perspectives essentielles pour les institutions culturelles et scientifiques qui, de par leur activité, sont naturellement détentrices ou productrices de quantités importantes de données structurées. Il s'agit pour ces institutions non plus de développer des standards spécifiques à un domaine métier en particulier, ou de mettre en place des passerelles qui restent déterminées principalement par la nature culturelle ou scientifique des objets concernés, mais d'entrer dans un écosystème beaucoup plus global qui leur permettra d'interagir avec des acteurs de toute nature, qu'ils soient publics ou privés, culturels ou industriels, politiques ou économiques, individuels ou collectifs. Des enjeux comme l'interopérabilité, l'ouverture et la réutilisation des données publiques se trouvent à la clef de cette évolution. L'objectif de ce chapitre est de montrer les possibilités nouvelles offertes par les technologies du web sémantique quant au traitement et à l'exploitation des données structurées. Nous définirons les principales briques qui constituent cet environnement technologique : les URI, RDF, OWL, SPARQL, RDFa., et enfin présenterons leur application la plus directe, le web de données.

National audience ; Nous présentons dans cet article un ensemble de définitions réutilisables, et formellement vérifiées avec l'atelier FoCaLiZe, des concepts utilisés pour modéliser des systèmes sécurisés par une politique de sécurité. Ces différents concepts sont introduits très progressivement par le biais de composants logiciels abstraits connectés les uns aux autres par le jeu des mécanismes d'héritage et de paramétrisation de FoCaLiZe. Tout au long de ce développement, la définition d'un système de contrôle d'accès sécurisé illustre ces concepts généraux à l'aide d'instances concrètes.

National audience ; Nous présentons dans cet article un ensemble de définitions réutilisables, et formellement vérifiées avec l'atelier FoCaLiZe, des concepts utilisés pour modéliser des systèmes sécurisés par une politique de sécurité. Ces différents concepts sont introduits très progressivement par le biais de composants logiciels abstraits connectés les uns aux autres par le jeu des mécanismes d'héritage et de paramétrisation de FoCaLiZe. Tout au long de ce développement, la définition d'un système de contrôle d'accès sécurisé illustre ces concepts généraux à l'aide d'instances concrètes.

Chapitre 06 : Biens communs et numérique : l'alliance transformatrice ; National audience ; L'histoire pré numérique des biens communs de la connaissance. La percolation du numérique : les biens communs comme réponse à l'abondance, le réseau infrastructure de production de communs. Biens communs, marché et puissance publique : complémentarités et porosités. Les biens communs au risque du politique : les nouvelles enclosures, les mouvements sociaux du numérique.

Chapitre 09 : Du cycle de vie des données au cycle de vie des objets ; National audience ; En nous appuyant sur notre expérience au sein du projet DBpedia francophone , nous entendons examiner la manière dont s'opère la transition entre un wiki ouvert à la contribution, tel que Wikipédia, et une base de connaissances faisant office de référentiel de fait pour le web de données, telle que DBpedia. À la lumière de l'architecture du web, quelle interprétation donner du couplage Wikipédia/DBpedia ? Encyclopédie (texte) et notice (données), ou plateforme de tri des objets ouverte à la controverse et rassemblement d'entités composant un monde commun ? Nous entendons ici déplacer le débat d'une perspective traditionnellement documentaire vers une perspective politique et philosophique ; en un mot comme en cent, ontologique.

National audience ; Nous présentons dans cet article un ensemble de définitions réutilisables, et formellement vérifiées avec l'atelier FoCaLiZe, des concepts utilisés pour modéliser des systèmes sécurisés par une politique de sécurité. Ces différents concepts sont introduits très progressivement par le biais de composants logiciels abstraits connectés les uns aux autres par le jeu des mécanismes d'héritage et de paramétrisation de FoCaLiZe. Tout au long de ce développement, la définition d'un système de contrôle d'accès sécurisé illustre ces concepts généraux à l'aide d'instances concrètes.

International audience ; Today, spatial data are increasingly available on the web and users can update their datasets more easily. Different sets of updates result from diverse sources are furnished to the user, each containing updates acquired in different manners, with different quality and at different times. A special context where the data and updates could come from different sources is a military mission. Indeed, the actors are distributed between different sites and one particularity is that they can be either a producer or a user of the data. They have their own dataset and can update them in several ways but must regularly supply their evolutions to the others actors in order to guarantee the success of the mission. Therefore, each actor receives many heterogeneous sets of updates and must integrate them in their own dataset in accordance with their needs. In this context, the user receives several set of heterogeneous updates which can have different quality, which can contain errors due to the manner they were acquired and they have to integrate them in their personal dataset. Thus, all the evolutions are not necessarily interesting for the user, and conversely one set of updates may not cover all the user needs. These heterogeneous sets of updates could also be concurrent each others and be concurrent with the user dataset. In this context, how can a user efficiently update his spatial dataset with some evolutions which are not necessarily pertinent and probably concurrent? This is the essential question to answer if we want to improve the update of spatial data by different sets of evolutions which are coming from multiple sites. In this paper, we will study the main problem arising when we integrate concurrent and heterogeneous updates and we will propose a process which helps the user to integrate efficiency multi-source updates into his dataset. This process comprises several steps : Firstly, we classify the evolutions to remove the heterogeneity, secondly we take into account the user needs ...

International audience ; Today, spatial data are increasingly available on the web and users can update their datasets more easily. Different sets of updates result from diverse sources are furnished to the user, each containing updates acquired in different manners, with different quality and at different times. A special context where the data and updates could come from different sources is a military mission. Indeed, the actors are distributed between different sites and one particularity is that they can be either a producer or a user of the data. They have their own dataset and can update them in several ways but must regularly supply their evolutions to the others actors in order to guarantee the success of the mission. Therefore, each actor receives many heterogeneous sets of updates and must integrate them in their own dataset in accordance with their needs. In this context, the user receives several set of heterogeneous updates which can have different quality, which can contain errors due to the manner they were acquired and they have to integrate them in their personal dataset. Thus, all the evolutions are not necessarily interesting for the user, and conversely one set of updates may not cover all the user needs. These heterogeneous sets of updates could also be concurrent each others and be concurrent with the user dataset. In this context, how can a user efficiently update his spatial dataset with some evolutions which are not necessarily pertinent and probably concurrent? This is the essential question to answer if we want to improve the update of spatial data by different sets of evolutions which are coming from multiple sites. In this paper, we will study the main problem arising when we integrate concurrent and heterogeneous updates and we will propose a process which helps the user to integrate efficiency multi-source updates into his dataset. This process comprises several steps : Firstly, we classify the evolutions to remove the heterogeneity, secondly we take into account the user needs ...

International audience ; Today, spatial data are increasingly available on the web and users can update their datasets more easily. Different sets of updates result from diverse sources are furnished to the user, each containing updates acquired in different manners, with different quality and at different times. A special context where the data and updates could come from different sources is a military mission. Indeed, the actors are distributed between different sites and one particularity is that they can be either a producer or a user of the data. They have their own dataset and can update them in several ways but must regularly supply their evolutions to the others actors in order to guarantee the success of the mission. Therefore, each actor receives many heterogeneous sets of updates and must integrate them in their own dataset in accordance with their needs. In this context, the user receives several set of heterogeneous updates which can have different quality, which can contain errors due to the manner they were acquired and they have to integrate them in their personal dataset. Thus, all the evolutions are not necessarily interesting for the user, and conversely one set of updates may not cover all the user needs. These heterogeneous sets of updates could also be concurrent each others and be concurrent with the user dataset. In this context, how can a user efficiently update his spatial dataset with some evolutions which are not necessarily pertinent and probably concurrent? This is the essential question to answer if we want to improve the update of spatial data by different sets of evolutions which are coming from multiple sites. In this paper, we will study the main problem arising when we integrate concurrent and heterogeneous updates and we will propose a process which helps the user to integrate efficiency multi-source updates into his dataset. This process comprises several steps : Firstly, we classify the evolutions to remove the heterogeneity, secondly we take into account the user needs ...

Ce rapport présente deux algorithmes calculant une structure de contrôle dont l'exécution énumère les vecteurs entiers d'un polyèdre paramétré dans un certain contexte. Les algorithmes reprennent la méthode des projections successives, basée sur l'élimination par paires de Fourier-Motzkin, définie par Ancourt et Irigoin dans le cas non paramétré. La politique de suppression des contraintes redondantes générées par l'élimination par paires est revue afin de réduire le temps de synthèse des parcours pour des polyèdres de complexité géométrique supérieure et améliorer le temps d'exécution des parcours produits. Les algorithmes présentés servent de base à la génération de code dans le prototype de compilateur Pandore développé à l'IRISA ; une comparaison entre ces algorithmes et celui défini par Ancourt et Irigoin est donnée sur la classe des polyèdres manipulés par le compilateur Pandore.

Ce rapport présente deux algorithmes calculant une structure de contrôle dont l'exécution énumère les vecteurs entiers d'un polyèdre paramétré dans un certain contexte. Les algorithmes reprennent la méthode des projections successives, basée sur l'élimination par paires de Fourier-Motzkin, définie par Ancourt et Irigoin dans le cas non paramétré. La politique de suppression des contraintes redondantes générées par l'élimination par paires est revue afin de réduire le temps de synthèse des parcours pour des polyèdres de complexité géométrique supérieure et améliorer le temps d'exécution des parcours produits. Les algorithmes présentés servent de base à la génération de code dans le prototype de compilateur Pandore développé à l'IRISA ; une comparaison entre ces algorithmes et celui défini par Ancourt et Irigoin est donnée sur la classe des polyèdres manipulés par le compilateur Pandore.

Ce rapport présente deux algorithmes calculant une structure de contrôle dont l'exécution énumère les vecteurs entiers d'un polyèdre paramétré dans un certain contexte. Les algorithmes reprennent la méthode des projections successives, basée sur l'élimination par paires de Fourier-Motzkin, définie par Ancourt et Irigoin dans le cas non paramétré. La politique de suppression des contraintes redondantes générées par l'élimination par paires est revue afin de réduire le temps de synthèse des parcours pour des polyèdres de complexité géométrique supérieure et améliorer le temps d'exécution des parcours produits. Les algorithmes présentés servent de base à la génération de code dans le prototype de compilateur Pandore développé à l'IRISA ; une comparaison entre ces algorithmes et celui défini par Ancourt et Irigoin est donnée sur la classe des polyèdres manipulés par le compilateur Pandore.

Ce papier est consacré au problème de gestion de stocks à deux niveaus. La demande est connue sur [0,N], où N est l'horizon du problème. Les coûts de stockage et de commande sont supposés concaves et non décroissants. Nous montrons que la politique optimale est, pour le niveau haut, identique à la politique optimale bien connue du cas mono-produit. Au niveau bas, les propriétés de cette politique sont plus compliquées, surtout lorsque l'on trouve plusieurs stocks à ce niveau. Dans la suite, nous considérons ce cas général.

This thesis is devoted to a bottom-Up approachfor the management of network security policies fromhigh abstraction level with low cost and high confidence.We show that the Network Role Based Access Control(Net-RBAC) model is adapted to the specification ofnetwork access control policies. We propose policymining, a bottom-Up approach that extracts from thedeployed rules on a firewall the corresponding policymodeled with Net-RBAC. We devise a generic algorithmbased on matrix factorization, that could adapt most ofthe existing role mining techniques to extract instancesof Net-RBAC. Furthermore, knowing that the large andmedium networks are usually protected by multiplefirewalls, we handle the problem of integration of Net-RBAC policies resulting from policy mining over severalfirewalls. We demonstrate how to verify securityproperties related to the deployment consistency overthe firewalls. Besides, we provide assistance tools foradministrators to analyze role mining and policy miningresults as well. We formally define the problem ofcomparing sets of roles and evidence that it is NPcomplete.We devise an algorithm that projects rolesfrom one set into the other set based on Booleanexpressions. This approach is useful to measure howcomparable the two configurations of roles are, and tointerpret each role. Emphasis on the presence ofshadowed roles in the role configuration will be put as itincreases the time complexity of sets of rolescomparison. We provide a solution to detect differentcases of role shadowing. Each of the abovecontributions is rooted on a sound theoreticalframework, illustrated by real data examples, andsupported by experiments. ; Cette thèse est consacrée à une approcheascendante pour l'administration de la sécurité desréseaux informatiques d'un haut niveau d'abstraction.Nous montrons que le modèle Net-RBAC (Network RoleBased Access Control) s'adapte à la spécification despolitiques de contrôle d'accès des réseaux. Nousproposons une approche ascendante et automatiquebaptisée policy mining qui extrait la politique modéliséepar Net-RBAC à partir des règles de sécurité déployéessur un pare-Feu. Notre algorithme basé sur lafactorisation matricielle est capable d'adapter la plupartdes techniques de role mining existantes. Comme lesréseaux des entreprises sont souvent protégés parplusieurs pare-Feu, nous traitons le problèmed'intégration de politiques résultant de l'application depolicy mining sur chaque pare-Feu. Nous vérifions lespropriétés de sécurité reliées à la cohérence dudéploiement de la politique sur plusieurs dispositifs. Enoutre, nous proposons des outils qui assistent unadministrateur dans l'analyse des résultats du role mininget du policy mining. Nous formalisons le problème decomparaison de deux configurations de rôles et prouvonsqu'il est NP-Complet. Nous définissons un algorithme quiprojette les rôles d'une configuration dans une autre ense basant sur des expressions Booléennes. Noussoulignons que la présence de rôles ombragés dans uneconfiguration se manifeste par une augmentation de lacomplexité de la comparaison avec une autreconfiguration et présentons une solution pour détecterdifférentes anomalies d'ombrage. Chaque contribution sebase sur un cadre théorique solide, est illustrée par desexemples réels, et appuyée par des résultatsexpérimentaux.

This thesis is devoted to a bottom-Up approachfor the management of network security policies fromhigh abstraction level with low cost and high confidence.We show that the Network Role Based Access Control(Net-RBAC) model is adapted to the specification ofnetwork access control policies. We propose policymining, a bottom-Up approach that extracts from thedeployed rules on a firewall the corresponding policymodeled with Net-RBAC. We devise a generic algorithmbased on matrix factorization, that could adapt most ofthe existing role mining techniques to extract instancesof Net-RBAC. Furthermore, knowing that the large andmedium networks are usually protected by multiplefirewalls, we handle the problem of integration of Net-RBAC policies resulting from policy mining over severalfirewalls. We demonstrate how to verify securityproperties related to the deployment consistency overthe firewalls. Besides, we provide assistance tools foradministrators to analyze role mining and policy miningresults as well. We formally define the problem ofcomparing sets of roles and evidence that it is NPcomplete.We devise an algorithm that projects rolesfrom one set into the other set based on Booleanexpressions. This approach is useful to measure howcomparable the two configurations of roles are, and tointerpret each role. Emphasis on the presence ofshadowed roles in the role configuration will be put as itincreases the time complexity of sets of rolescomparison. We provide a solution to detect differentcases of role shadowing. Each of the abovecontributions is rooted on a sound theoreticalframework, illustrated by real data examples, andsupported by experiments. ; Cette thèse est consacrée à une approcheascendante pour l'administration de la sécurité desréseaux informatiques d'un haut niveau d'abstraction.Nous montrons que le modèle Net-RBAC (Network RoleBased Access Control) s'adapte à la spécification despolitiques de contrôle d'accès des réseaux. Nousproposons une approche ascendante et automatiquebaptisée policy mining qui extrait ...