Remote incremental program verification may be achieved by receiving
content verified by at least one content provider, installing the content
on a resource-constrained device, disabling subsequent installation of
content on the resource-constrained device, and issuing the
resource-constrained device to an end user. The at least one content
provider includes an applet provider, a device manufacturer, and a device
issuer. The content includes at least one program unit, where each program
unit comprises an Application Programming Interface (API) definition file
and an implementation. Each API definition file defines items in its
associated program unit that are made accessible to one or more other
program units, and each implementation includes executable code
corresponding to the API definition file. The executable code includes
type specific instructions and data.
La vérification par accroissement à distance de programme peut être réalisée en recevant le contenu vérifié par au moins un fournisseur de contenu, en installant le contenu sur un dispositif ressource-contraint, en neutralisant l'installation suivante du contenu sur le dispositif ressource-contraint, et en publiant le dispositif ressource-contraint à un utilisateur. L'au moins un fournisseur de contenu inclut un fournisseur d'applet, un fabricant de dispositif, et un émetteur de dispositif. Le contenu inclut au moins une unité de programme, où chaque unité de programme comporte un dossier de définition de l'interface de programme d'application (api) et une exécution. Chaque dossier de définition d'api définit les articles dans son unité associée de programme qui sont rendus accessibles à une ou plusieurs autres unités de programme, et chaque exécution inclut le code exécutable correspondant au dossier de définition d'api. Le code exécutable inclut le type instructions et données spécifiques.
