METHOD FOR SECURING A TYPED DATA LANGUAGE, PARTICULARLY IN AN EMBEDDED SYSTEM, AND EMBEDDED SYSTEM FOR IMPLEMENTING THE METHOD
First Claim
1. Method for the secure execution of an instruction sequence of a computer application in the form of typed data stored in a first series of given locations in a memory of a computer system, particularly an embedded microchip system, characterized in that additional data called type information elements are associated with each of said typed data, in order to specify the type of these data, in that said type information elements are stored in a second series of given storage locations (4, 5) in said memory (1) of a computer system (8), and in that before the execution of instructions of a predetermined type, a continuous verification is performed, prior to the execution of predetermined instructions, of the matching between a type indicated by these instructions and an expected type indicated by said type information elements stored in said second series of storage locations (4, 5), so that said execution is authorized only when there is match between said types.
2 Assignments
0 Petitions
Accused Products
Abstract
The invention concerns a method and an embedded microchip system (8) for the secure execution of an instruction sequence of a computer application in the form of typed objects or data, particularly written in “Java” language. The memory (1) is organized into a first series of elementary stacks (2, 3) for storing instructions. Each typed object or datum is associated with one or more so-called typing bits specifying the type. These bits are stored in a second series of elementary stacks (4, 5) that correspond one-to-one with with the stacks (2, 3) of the first series. Before executing predetermined types of instructions, a continuous verification is performed, prior to the execution of these instructions, of the matching between a type indicated by the latter and an expected type, indicated by the typing bits. If they do not match, the execution is stopped.
-
Citations
10 Claims
- 1. Method for the secure execution of an instruction sequence of a computer application in the form of typed data stored in a first series of given locations in a memory of a computer system, particularly an embedded microchip system, characterized in that additional data called type information elements are associated with each of said typed data, in order to specify the type of these data, in that said type information elements are stored in a second series of given storage locations (4, 5) in said memory (1) of a computer system (8), and in that before the execution of instructions of a predetermined type, a continuous verification is performed, prior to the execution of predetermined instructions, of the matching between a type indicated by these instructions and an expected type indicated by said type information elements stored in said second series of storage locations (4, 5), so that said execution is authorized only when there is match between said types.
- 7. Embedded smart card system comprising computer data processing means and storage means for the secure execution of an instruction sequence of a computer application in the form of typed data stored in a first series of given locations in a memory of a computer system, characterized in that said storage means (1) comprise a second series of given locations (4, 5) for storing additional data called type information elements, associated with each of said typed data, in order to specify the type of these data, and verification means (6) for continuously verifying, prior to the execution of predetermined instructions, the matching between a type indicated by these instructions and a type indicated by said type information elements, so as to authorize said execution only when there is a match between said types.
Specification