IC 2004 Gandon Pres

Gestion de connaissances personnelles et contextuelles, et respect de la vie privée: 

Gestion de connaissances personnelles et contextuelles, et respect de la vie privée Fabien Gandon(1,2) - Norman Sadeh(1) (1)School of Computer Science - Carnegie Mellon University (2)Equipe ACACIA – INRIA Sophia Antipolis

Connaissance du contexte et confidentialité: 

Connaissance du contexte et confidentialité Annotation des ressources documentaires Automatisation des tâches de gestion info. Indexation, Recherche, Accès Annotation… …des personnes : profils, personnalisation …des contextes : ubiquitaire, ambiante, mobile …des services : découverte, utilisation, composition Connaissances formalisées permettant identification andamp; accès aux informations andamp; services Quid des abus ? profilage, espionnage, etc. Connaissances formalisées permettant contrôle des accès et respect de la vie privée

Plan de la présentation: 

Plan de la présentation Scénarios motivants andamp; projet myCampus (accès mobiles sur un campus) Architecture distribuée (SMA, SW , WS) Zoom sur le e-Wallet Principe et fonctionnalités (contexte, confidentialité) Exemple d’utilisation (scénario d’interrogation) Architecture interne (typage, couches) Implantation (OWL, XSLT, JESS) Exemples de formalisation (règles) Discussion (retour d’expérience, revue)

Scénarios motivants & projet myCampus: 

Scénarios motivants andamp; projet myCampus Informatique mobile, ubiquitaire, ambiante sources d’info multiples: agenda, infra. WiFi, etc. Collaborations entre organisations partage sélectif des infos: fournisseurs, délais, etc. Interface sémantique unifiée et sécurisée pour l’accès aux ressources privées e-Wallet Projet pilote: myCampus Campus comme microcosme d’essai Assistance au quotidien par services accessibles sur réseau sans fil Services connaissant contexte utilisateur

Slide5: 

Slide6: 

Directory Facilitator Agent (FIPA) Agent Management Agent (FIPA) e-Wallet Manager Agent Ontologist Agent Task-Specific Agents FIPA ACL messages and OWL Content JADE platform User Interaction Agent behavior behavior behavior Servlet Tomcat server HTTP Request HTTP Request HTTP Request HTTP Request session session session session

Slide7: 

e-Wallet Manager Agent Ontologist Agent Task-Specific Agents FIPA ACL messages and OWL Content JADE platform User Interaction Agent Directory Facilitator Agent (FIPA) Yellow Pages Type Service Owner … White Pages Name Address … Agent Management Agent (FIPA) HTTP Request

Slide8: 

Directory Facilitator Agent (FIPA) Agent Management Agent (FIPA) Task-Specific Agents FIPA ACL messages and OWL Content JADE platform User Interaction Agent HTTP Request e-Wallet Manager Agent Ontologist Agent XSLT edition Ontologies visualization download

Slide9: 

Directory Facilitator Agent (FIPA) Agent Management Agent (FIPA) FIPA ACL messages and OWL Content User Interaction Agent HTTP Request e-Wallet Manager Agent Ontologist Agent Task-Specific Agents JADE platform

Slide10: 

Directory Facilitator Agent (FIPA) Agent Management Agent (FIPA) Ontologist Agent Task-Specific Agents FIPA ACL messages and OWL Content JADE platform User Interaction Agent e-Wallet Manager Agent JESS XSLT OWL (ontologies, annotations) Rules (definitions, services, privacy) Queries edition results

Avancement de la présentation: 

Avancement de la présentation Scénarios motivants andamp; projet myCampus (accès mobiles sur un campus) Architecture distribuée (SMA, SW , WS) Zoom sur le e-Wallet Principe et fonctionnalités (contexte, confidentialité) Exemple d’utilisation (scénario d’interrogation) Architecture interne (typage, couches) Implantation (OWL, XSLT, JESS) Exemples de formalisation (règles) Discussion (retour d’expérience, revue)

Principe et fonctionnalités du e-Wallet: 

Principe et fonctionnalités du e-Wallet Ici un e-Wallet par utilisateur Interface sémantique unifiée et sécurisée gérant… …connaissance statique; ex: nom, courriel …connaissance dynamique; ex: en conduisant… …services personnels/publics (services Web) connaissance fournie andamp; règles d’invocation ex: agenda, localisation …préférences de confidentialité règles contrôle d’accès; ex: mes collègues peuvent… règles de révision par… …abstraction ex: indiquer le bâtiment mais pas la salle …falsification ex: dire cafétéria quand dans salle coffres

Slide13: 

Exemple: Requête Norman demandant position géo. Fabien 1- 'l’expéditeur de la requête est Norman', 'requête arrivée à 15H34' 2- besoins = 'où se trouve Fabien' + autorisation accès localisation 3- (a) Norman peut-il demander à localiser Fabien d’après ce que l’on sait? (b) 'mes collègues de travail peuvent connaître le bâtiment où je me trouve,lorsque je suis sur le campus' (c) Norman est-il un collègue de travail? Oui 4- Pas utile ici; ex: courriel 5- Règles= le réseau sans-fil permet localisation; champ ‘lieu’ de l’agenda 6- Fabien est-il sur le campus? Oui 7- Fabien n'est disposé à révéler que le bâtiment où il se trouve 8- 'Fabien est dans le bâtiment Borel'

Architecture interne du e-Wallet: 

Architecture interne du e-Wallet La sécurité repose sur les mécanismes de typage Trois couches ( types de triplets) couche noyau: méta-modèle OWL, connaissance statique connaissance dynamique couche service: K complément. règles d'invocation de services types de connaissance - services pour l’obtenir couche confidentialité: règles d’accès et de révision Complétion du noyau en chaînage avant Complétion autres couches en chaînage arrière

Implantation du e-Wallet: 

Implantation du e-Wallet Chaînage avant andamp; arrière (réification besoins) Clauses de Horns avec variables Attachement procédural (extensions, services Web) Ontologies en OWL Descriptions en OWL Règles en ROWL Services en WOWL Confidentialité en SOWL Requête en QOWL Modèle triplets andamp; OWL en CLIPS

Exemples de formalisation (règles production): 

Exemples de formalisation (règles production) Règles de production (ex: même groupe  collègues ) andlt;rowl:Ruleandgt; andlt;rowl:headandgt; andlt;mc:Person rdf:about='andamp;var;#person1'andgt; andlt;mc:colleague rdf:resource='andamp;var;#person2'/andgt; andlt;/mc:Personandgt; andlt;/rowl:headandgt; andlt;rowl:bodyandgt; andlt;mc:Team rdf:ID='andamp;variable;#group'andgt; andlt;mc:includeandgt; andlt;mc:Person rdf:about='andamp;var;#person1'/andgt; andlt;/mc:includeandgt; andlt;mc:includeandgt; andlt;mc:Person rdf:about='andamp;var;#person2'/andgt; andlt;/mc:includeandgt; andlt;/mc:Teamandgt; andlt;/rowl:bodyandgt; andlt;/rowl:Ruleandgt; (defrule Members_of_the_same_group_means_colleagues (triple (predicate 'http://mycampus.cs.cmu.edu/ontology#include') (subject ?group) (object ?person1) ) (triple (predicate 'http://mycampus.cs.cmu.edu/ontology#include') (subject ?group) (object ?person2) ) … =andgt; (assert (triple (predicate 'http://mycampus.cs.cmu.edu/ontology#colleague') (subject ?person1) (object ?person2) … )

Exemples de formalisation (règles services): 

Exemples de formalisation (règles services) andlt;wowl:ServiceRuleandgt; andlt;rdfs:labelandgt;provide location for IP Addressandlt;/rdfs:labelandgt; andlt;wowl:outputandgt; andlt;mc:Entity rdf:ID='andamp;var;#entity'andgt; andlt;mc:location rdf:resource='andamp;variable;#location' /andgt; andlt;/mc:Entityandgt; andlt;/wowl:outputandgt; andlt;wowl:preconditionandgt; andlt;mc:Entity rdf:ID='andamp;var;#entity'andgt; andlt;mc:ipandgt;andamp;var;#ipandlt;/mc:ipandgt; andlt;/mc:Entityandgt; andlt;/wowl:preconditionandgt; andlt;wowl:callandgt; andlt;wowl:Service wowl:name='call-web-service'andgt; andlt;wowl:qnameandgt;http://mycampus/WiFiService#andlt;/wowl:qnameandgt; andlt;wowl:endpointandgt;http://128.2.68.34:7788andlt;/wowl:endpointandgt; andlt;wowl:methodandgt;GetLocationandlt;/wowl:methodandgt; andlt;wowl:ipandgt;andamp;var;#ipandlt;/wowl:ipandgt; andlt;/wowl:Serviceandgt; andlt;/wowl:callandgt; andlt;/wowl:ServiceRuleandgt; (defrule provide-location-for-IP-Address (declare (salience 50)) (need-service_triple (predicate 'http://sadehlab.cs.cmu.edu/mycampus#location') (subject ?entity) (object ?location)) (service_triple (predicate 'http://sadehlab.cs.cmu.edu/mycampus#ip') (subject ?entity) (object ?ip)) … =andgt; (call-web-service 'qname' 'http://mycampus/WiFiService#' (…) 'ip' ?ip) )

Exemples de formalisation (règles confidentialité): 

Exemples de formalisation (règles confidentialité) andlt;sowl:ReadAccessRuleandgt; andlt;sowl:targetandgt; andlt;mc:Person rdf:ID='andamp;var;#owner'andgt; andlt;mc:location rdf:resource='andamp;var;#location'/andgt; andlt;/mc:Personandgt; andlt;/sowl:targetandgt; andlt;sowl:checkandgt; andlt;rowl:Andandgt; andlt;rowl:conditionandgt; andlt;mc:E-Wallet rdf:ID='andamp;var;#e-Wallet'andgt; andlt;mc:ownerandgt; andlt;mc:Person rdf:ID='andamp;var;#owner'andgt; andlt;mc:colleague rdf:resource='andamp;var;#sender'/andgt; andlt;/mc:ownerandgt; andlt;/mc:E-Walletandgt; andlt;/rowl:conditionandgt; andlt;rowl:conditionandgt; andlt;qowl:Query rdf:ID='andamp;var;#query'andgt; andlt;qowl:sender rdf:resource='andamp;var;#sender' /andgt; andlt;/qowl:Queryandgt; andlt;/rowl:not-conditionandgt; andlt;rowl:conditionandgt; andlt;mc:Place rdf:ID='http://www.cmu.edu'andgt; andlt;mc:include rdf:resource='andamp;var;#location' /andgt; andlt;/mc:Placeandgt; andlt;/rowl:conditionandgt; andlt;/rowl:Andandgt; andlt;/sowl:checkandgt; andlt;sowl:revisionandgt; andlt;mc:Person rdf:ID='andamp;var;#owner'andgt; andlt;mc:location rdf:resource='http://www.cmu.edu'/andgt; andlt;/mc:Personandgt; andlt;/sowl:revisionandgt; andlt;/sowl:ReadAccessRuleandgt;

Avancement de la présentation: 

Avancement de la présentation Scénarios motivants andamp; projet myCampus (accès mobiles sur un campus) Architecture distribuée (SMA, SW , WS) Zoom sur le e-Wallet Principe et fonctionnalités (contexte, confidentialité) Exemple d’utilisation (scénario d’interrogation) Architecture interne (typage, couches) Implantation (OWL, XSLT, JESS) Exemples de formalisation (règles) Discussion (retour d’expérience, revues)

Conclusion et tests: 

Conclusion et tests Accès connaissances personnelles andamp; contextuelles en respectant la confidentialité Première version myCampus validée début 2003 sur campus Carnegie Mellon: preuve concept 3 jours, 11 utilisateurs, logs complets 24/24 Concierge andamp; Messager Ex: routage messages, contexte utile 70% cas Deuxième version myCampus terminée et démontrée fin 2003: illustrer intérêt e-Wallet Plusieurs services: posters virtuels, cinémas, météorologie, réunion, présentation, etc. Ex: cartographie et révision par abstraction

Discussion: 

Discussion Mécanismes sécurité et confidentialité courants ignorent richesse descriptions sémantiques Intégration ressources personnelles et publiques Contrôle exactitude et précision basé sur ontologie Reviewers… …crainte systèmes de surveillance des individus approche distribuée; contrôle aux utilisateurs …pas nécessaire de vouloir tout automatiser permettre d’automatiser ce qui est utile et finement Contrôler répercussions et diffusion des révisions Assurer cohérence réponses après recoupement Réconcilier expressivité WS andamp; ergonomie

Slide22: 

Slide23: