ppt

Le modèle de sécurité de
Java 2
Laurent[email protected]et
SEE - Février 2000
Sécurité logique et Objets

Page 2
Pourquoi toujours plus de sécurité dans Java ?
Java est un langage particulier :
orienté réseau / Internet / Web
le code est téléchargé
progressivement (avec possibilité de sources multiples)
dynamiquement (risques de modification)
le vecteur est publique et « à risque »
le code peut avoir besoin d’accéder à des ressources locales
Protéger les ressources locales contre du code ...
malveillant (virus, cheval de Troie, …)
indiscret / instigateur (accès à des informations personnelles)
Protéger le code et les données qu’il gère contre …
leurs utilisateurs

Page 3
De quels services de sécurité a-t-on besoin ?
D’authentification
de l’origine du code
on veut authentifier l’auteur / le fournisseur, pas le colporteur
des utilisateurs du code
D’intégrité
du code transmis
des données générées / manipulées par le code
De confidentialité
des données générées / manipulées par le code
De contrôle d’accès
du code sur les ressources locales
de l’utilisateur sur les ressources locales ou sur les
ressources applicatives
D’administration de la sécurité !
Eventuellement : de non-répudiation, d ’audit, …

Page 4
Propriétés recherchées
Généricité
Souplesse de configuration et d’utilisation
Interchangeabilité
des moyens cryptographiques
des services de sécurité
authentification
autorisation
administration
Besoin de changer de fournisseur, de s’adapter à des
contraintes légales, de suivre l’état de l’Art, etc.

Page 5
« Sécurité » du langage
Plusieurs niveau d’accès aux classes, méthodes et
attributs :
private, package, protected, public
Contrôles d’intégrité à la compilation et à l’exécution
variables non initialisées
dépassement de tableau
conversion de type illégale
Vérificateur de ‘ bytecode ’ (code intermédiaire)
mini-démonstrateur de théorème ; vérifie en particulier :
que le format du fichier est correct
que les classes classes finales ne sont pas sous-classées
que les contraintes générales du langage sont respectées
Chargeur de classe
spécialisable
Gestionnaire de sécurité / Contrôleur d’accès
contrôle tous les accès aux ressources (en particulier OS)