J2ME-Cours

J2ME, Java CardArchitecture et SécuritéPierre.Paradinas / @ / cnam.frCnam/CedricSystèmes Enfouis et Embarqués (SEE)JavaMécanisme de sécurité de JavaSandbox et ses différents éléments :Byte Code Verifier, Class Loader, Security Manager.Ces 3 éléments ne sont pas indépendants.P. Paradinas - CNAM - L’architecture JavaMob.java; Mob.class;int : i; int : i;{ {i++; i++;... ...COMPILATION} }MIGRATIONMob.class; VMint : i;{ ByteCode Verifieri++; ClassLoader... Security Manager}Système d’exploitationP. Paradinas - CNAM - Sécurité et JavaAspects public des spécifications rend possible l’analyse du code,Le langage Java est typé et la conception est rigoureuse :Les types primitifs ont des formats et tailles définis,L’ordre des opérations est défini strictement,Pas de pointeurs et donc d’arithmétique sur les pointeurs, de possibilité de forgé un pointeur,... Les objets et méthodes sont référencés par des variables,Le compilateur vérifie aussi que les références sur les objets et méthodes sont compatibles en terme de type,Les références sont vérifiées (public/private,...).P. Paradinas - CNAM - Class LoaderJava Applet Class Loader. Les objets Java appartiennent tous à une classe,L’ Applet Class Loader détermine :Quand et comment une nouvelle classe est ajoutée à l’environnement d’exécution Java en cours,Que des classes ne sont pas chargées par des applets; P. Paradinas - CNAM - Le format du Class FileInformation sur le fichier,Un tableau ...