Control of data access by dynamically verifying legal references

A method for controlling access to data handled by references in a system for executing programs, said programs including processes and tasks, wherein upon executing a program, the method comprises the following steps:

• having the system store an entire set of licit references which the program obtains by means considered as licit, wherein a reference identifies at least one a pointer or data of the program, the data including structures, objects, and tables, said licit reference being stored when introducing into the program said reference by a licit means and when this licit reference is not already stored, wherein a reference is considered to be licit when that reference was obtained in a manner permissible in accordance with a system, context and program being used, and a reference is considered not licit when that reference was not obtained in a manner permissible in accordance with the system, context and program being used;
• before any operation intended to be forbidden in case said operation deals with values which are not licit references, having the system check that said values are among the licit references which have been stored for this program, and
• accepting the operation, responsive to said step of checking, when said checking determines said values are among the licit references, and rejecting the operation responsive to said step of checking, when said checking determines said values are not among the licit references.