according to the invention, the mode of operation of the byte code programme being checked is configured for a finite status transition system
le fonctionnement du programme code objet à vérifier est conçu sur un système final de transition d'état
the byte code programme being checked is only released for further processing if the status transition system fulfils all of the conditions of the set
le programme code objet à vérifier est libéré uniquement pour traitement ultérieur lorsque le système de transition d'état remplit toutes les conditions de l'ensemble conditionnel
is compared with the data in the model checker, the data in the model checker having been entered as a set of conditions for the characteristics of a reliable byte code programme
sont comparées aux données qui sont introduites dans le vérificateur de modèle comme ensemble conditionnel et qui identifient un programme code objet fiable
Autres résultats
The invention therefore provides a means of guaranteeing the security of byte code programmes and with additional enhancements, can guarantee a certain functionality.
Le matériel décrit permet de garantir la sécurité de programmes code objet et les extensions supplémentaires assurent une certaine fonctionnalité.
method for checking java byte code programmes for security characteristics
procédé de vérification des caractéristiques de sécurité de programmes code objet java
The technical aim of the invention is to provide a method for guaranteeing the best possible security in checking the security characteristics of byte code programmes.
L'invention concerne un procédé garantissant une sécurité maximale lors de la vérification des caractéristiques de sécurité de programmes code objet.
The byte code shows binary information in form of hexadecimal numbers.
Le byte code montre l'information binaire sous forme de nombres hexadécimaux.
The byte code of an interface appears in a.class file.
Le code octet d'une interface apparaît dans un.class fichier.
These files are a byte code that is portable across OSes.
Ces fichiers sont du code binaire portable grâce à OSes.
The compiler emits binary byte code that is executed by the runtime system.
Le compilateur émet byte code binaire qui est exécuté par le système d'exécution.
Bad Byte Code An error has occurred in the JIT compiler.
Bad byte code Une erreur est survenue dans le compilateur JIT.
Byte code is then generated from the populated class file container object.
Un code par octets est ensuite généré à partir de l'objet support de fichiers de classe peuplé.
Open-DSI is the only private partner of the CODES Programme.
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.