Précédent : Visioconf
Suivant : Coopérations nationales et internationales
Les résultats sont présentés par activité.
* plusieurs études dont celles du protocole C-SET ;
* conception de modèles de politique de sécurité (dans le
cadre de certifications ITSEC),
* La méthode de formalisation est étendue à la
conception de modèles de politique de sécurité.
* évaluation d'architectures de sécurités
(principalement architecture de sécurités de stations permettant
le téléchargement de byte code Java);
* Conception d'une API Java générique de pilotage de cartes
à puces.
* co-réalisation avec CP8 d'un prototype de JavaCard (VIP a
participé plus particulièrement à l'écriture de la
machine virtuelle, à l'évaluation de l'architecture de
sécurité, et à la définition des APIs).
* co-réalisation avec CP8 d'un prototype de JavaTerminal (VIP participe
plus particulièrement à l'écriture de la machine
virtuelle, à l'évaluation de l'architecture de
sécurité, et à la définition des APIs).
* travaux de recherche sur la sémantique statique de Java et sur le
code mobile.
Rapport d'activité 1997
