| Titre : | Modélisation des Mécanismes de Protection dans les Langages à Objets | | Type de document : | texte imprimé | | Auteurs : | G. ARDOUREL, Auteur | | Année de publication : | 2002 | | Langues : | Français (fre) | | Tags : | PROGRAMMATION-OBJET PROTECTIOIN MECANISME SPECIFICATION ENCAPSULATION MODELISATION LANGAGE OBJECT-ORIENTED PROGRAMMING LANGUAGE ENCAPSULATION ACCESS CONTROL MECHANISMS SPECIFICATION | | Index. décimale : | THE Thèses de doctorat | | Résumé : | Cette thèse a pour objectif l'étude et la modélisation des mécanismes de protection dans les langages de programmation à objets. Ces mécanismes facilitent le développement de code réutilisable et maintenable en favorisant la réduction du couplage et l'abstraction. Une étude de ces mécanismes dans cinq des principaux langages à classes est effectuée sur la base d'un travail à la fois bibliographique et pratique. Les graphes d'accès, un formalisme à base de graphes qui explicite les accès autorisés entre les classes, est présenté et utilisé à la fois en modélisation, caractérisation et évaluation, comparaison et traduction de droits d'accès. Il permet de raisonner sur les mécanismes existants afin d'en faciliter l'utilisation rationnelle et adaptée aux besoins, d'en connaître les limites et les implications, et d'en définir d'autres dans un cadre souple. Nous proposons le prototype AGATE qui pose les bases d'un ensemble d'outils de gestion de la protection.
This thesis aims at studying and modelizing access control mechanisms in object-oriented languages. These mechanisms help development of reusable and maintainable code by enforcing coupling reduction and abstraction. Five of the main industrial class-based languages are studied. Access graphs, a graphical formalism that explicitly state allowed accesses between classes, is presented and used for modeling, characterizing, evaluating, comparing and translating access rights. This model allows to use the mechanisms in a rational and fitting way, to learn about their limits and define new ones in a flexible framework. We propose the prototype AGATE, which sets the foundation for a set of tools managing access control. | | Directeur(s) de thèse : | DUCOURNAU R. | | Co-directeur(s) de thèse : | HUCHARD M. | | Président du jury : | PERROT J.F. | | Rapporteur(s) : | OUSSALAH M. | | Examinateur(s) : | LAHIRE P.;LIBOUREL T. | | Date de soutenance : | 17/12/2002 |
Modélisation des Mécanismes de Protection dans les Langages à Objets [texte imprimé] / G. ARDOUREL, Auteur . - 2002. Langues : Français ( fre) | Tags : | PROGRAMMATION-OBJET PROTECTIOIN MECANISME SPECIFICATION ENCAPSULATION MODELISATION LANGAGE OBJECT-ORIENTED PROGRAMMING LANGUAGE ENCAPSULATION ACCESS CONTROL MECHANISMS SPECIFICATION | | Index. décimale : | THE Thèses de doctorat | | Résumé : | Cette thèse a pour objectif l'étude et la modélisation des mécanismes de protection dans les langages de programmation à objets. Ces mécanismes facilitent le développement de code réutilisable et maintenable en favorisant la réduction du couplage et l'abstraction. Une étude de ces mécanismes dans cinq des principaux langages à classes est effectuée sur la base d'un travail à la fois bibliographique et pratique. Les graphes d'accès, un formalisme à base de graphes qui explicite les accès autorisés entre les classes, est présenté et utilisé à la fois en modélisation, caractérisation et évaluation, comparaison et traduction de droits d'accès. Il permet de raisonner sur les mécanismes existants afin d'en faciliter l'utilisation rationnelle et adaptée aux besoins, d'en connaître les limites et les implications, et d'en définir d'autres dans un cadre souple. Nous proposons le prototype AGATE qui pose les bases d'un ensemble d'outils de gestion de la protection.
This thesis aims at studying and modelizing access control mechanisms in object-oriented languages. These mechanisms help development of reusable and maintainable code by enforcing coupling reduction and abstraction. Five of the main industrial class-based languages are studied. Access graphs, a graphical formalism that explicitly state allowed accesses between classes, is presented and used for modeling, characterizing, evaluating, comparing and translating access rights. This model allows to use the mechanisms in a rational and fitting way, to learn about their limits and define new ones in a flexible framework. We propose the prototype AGATE, which sets the foundation for a set of tools managing access control. | | Directeur(s) de thèse : | DUCOURNAU R. | | Co-directeur(s) de thèse : | HUCHARD M. | | Président du jury : | PERROT J.F. | | Rapporteur(s) : | OUSSALAH M. | | Examinateur(s) : | LAHIRE P.;LIBOUREL T. | | Date de soutenance : | 17/12/2002 |
|
Affiner la recherche Interroger des sources externesModélisation des Mécanismes de Protection dans les Langages à Objets / G. ARDOUREL
