Traitement en cours

Veuillez attendre...

Paramétrages

Paramétrages

Aller à Demande

1. WO2003021433 - PROCEDE ET SYSTEME DE COMPILATION ET DE VERIFICATION DE CODE INFORMATIQUE

Numéro de publication WO/2003/021433
Date de publication 13.03.2003
N° de la demande internationale PCT/AU2002/001206
Date du dépôt international 03.09.2002
CIB
G06F 9/45 2006.01
GPHYSIQUE
06CALCUL; COMPTAGE
FTRAITEMENT ÉLECTRIQUE DE DONNÉES NUMÉRIQUES
9Dispositions pour la commande par programme, p.ex. unités de commande
06utilisant des programmes stockés, c. à d. utilisant un moyen de stockage interne à l'équipement de traitement de données pour recevoir ou conserver les programmes
44Dispositions pour exécuter des programmes spécifiques
45Compilation ou interprétation de langages de programmation évolués
CPC
G06F 21/645
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
21Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
60Protecting data
64Protecting data integrity, e.g. using checksums, certificates or signatures
645using a third party
G06F 2221/2151
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
2221Indexing scheme relating to security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
21Indexing scheme relating to G06F21/00 and subgroups addressing additional information or applications relating to security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
2151Time stamp
G06F 9/44589
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
9Arrangements for program control, e.g. control units
06using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
44Arrangements for executing specific programs
445Program loading or initiating
44589Program code verification, e.g. Java bytecode verification, proof-carrying code
Déposants
  • MOBILESOFT (AUST) PTY LTD. [AU]/[AU] (AllExceptUS)
  • SIGMUND, Martin [AU]/[AU] (UsOnly)
Inventeurs
  • SIGMUND, Martin
Mandataires
  • PHILLIPS ORMONDE & FITZPATRICK
Données relatives à la priorité
PR 745303.09.2001AU
Langue de publication anglais (EN)
Langue de dépôt anglais (EN)
États désignés
Titre
(EN) METHOD AND SYSTEM FOR COMPILING AND VERIFYING COMPUTER CODE
(FR) PROCEDE ET SYSTEME DE COMPILATION ET DE VERIFICATION DE CODE INFORMATIQUE
Abrégé
(EN)
A method of compiling source code into object code uses a compiler which inserts time and/or date data into the object code. The method includes the steps of compiling the source code, and setting or forcing clock data used by the compiler to a predetermined value or range of values during the compiling of source code. Verification of the object code is preferably thereafter done through the additional preferred step of comparing the object code with object code created in a previous compiling operation, to determine whether they are identical.
(FR)
L'invention concerne un procédé de compilation de code source en code objet à l'aide d'un compilateur insérant des données de temps et/ou de date dans le code objet. Ce procédé consiste à compiler le code source, et à régler, ou à forcer, lors de la compilation du code source, à ce que des données d'horloge, utilisées par le compilateur, prennent une valeur ou des valeurs déterminées d'un domaine. La vérification du code objet est réalisée, de préférence, après l'étape supplémentaire dans laquelle on compare le code objet avec le code objet obtenu lors d'une compilation précédente, afin de déterminer s'ils sont identiques.
Également publié en tant que
Dernières données bibliographiques dont dispose le Bureau international