Control of data access by dynamically verifying legal references
AssigneeTrusted Logic
InventorsXavier Leroy, Patrice Hameau, Nicolas Regnault, Renaud Marlet
Life of this patent
Estimating the term…
Abstract
The inventive method for controlling access to data which is used by reference in a program execution system (including processes and aims) during the program execution consists in memorising by the system the totality of references obtainable by said program with the aid of means considered legal, before any operation which can be prohibited if it relates to values which are not legal references, in verifying by the system whether said values are amongst the legal references memorised for the program and in accepting or rejecting the operation, respectively.
Claims11
A method for controlling access to data handled by references in a system for executing programs (including processes and tasks), wherein upon executing a program, it comprises the following steps:
- having the system store the whole of the references which the program obtains by means considered as licit;
- before any operation intended to be forbidden, if it deals with values which are not licit references, having the system check that these values are among the licit references which have been stored for this program, and acceptance or rejection of the operation accordingly.
Dependencies are inferred from the claim text.