Imparting digital uniqueness to the types of a programming language using a unique digital sequence

• US 20070000995A1
• Filed: 06/29/2005
• Published: 01/04/2007
• Est. Priority Date: 06/29/2005
• Status: Active Grant

• Current Assignee: Axalto S A
• Original Assignee: Axalto S A
• Inventors: Sachdeva, Kapil, Prevost, Sylvain
• Granted Patent: US 7,698,703 B2
• Time in Patent Office: Days
• US Class Current: 235/380
• CPC Class Codes: G06F 9/44521 Dynamic linking or loading; Link editing at or after load time, e.g. Java class loading
• CPC Class Codes: G06F 9/44552 Conflict resolution, i.e. enabling coexistence of conflicting executables

Abstract

A system and method for establishing uniqueness in type definition names. Each application vendor has associated therewith a unique data sequence. The data sequence is combined with the type definition name and then a digital operation is performed to produce a unique digital identifier that is used in place of the type name.

Claims

1. A method of imparting digital uniqueness to type definitions originating from at least two sources and used in programming a smart card, comprising:

associating a unique data sequence to a programming unit containing a type definition having a type name;

concatenating the type name with the unique data sequence thereby producing a concatenation result;

performing a digital operation to produce an operation result that is a function of the concatenation result; and

using the operation result in lieu of the type name when performing operations that require the type name.

2. The method of imparting digital uniqueness to type definitions of claim 1 wherein the programming unit is a .NET assembly.

3. The method of imparting digital uniqueness to type definitions of claim 1 wherein the programming unit is a JAVA class or jar file.

4. The method of imparting digital uniqueness to type definitions of claim 1 wherein the unique data sequence is a public key token assigned to the programming unit.

5. The method of imparting digital uniqueness to type definitions of claim 1 wherein the unique data sequence is a Universal Identifier (UID) assigned to the programming unit.

6. The method of imparting digital uniqueness to type definitions of claim 1 wherein the digital operation is a hashing algorithm.

7. The method of imparting digital uniqueness to type definitions of claim 1 wherein the hashing algorithm is selected from the set including MD5 and SHA1.

8. The method of imparting digital uniqueness to type definitions of claim 1 wherein the digital operation produces a compressed digital string that uniquely identifies the type definition.

9. A method of operating a smart card programming environment to produce application programs for a smart card such that uniqueness of type names are ensured for types defined by multiple sources wherein a first type definition from a first source and a second type definition from a second source may have identical names, comprising:

receiving a program unit written in a high-level programming language wherein the program unit has associated therewith a unique identifier;

compiling the program unit into an intermediate code program unit; and

converting the intermediate code program unit into a converted code program unit suitable for execution on a smart card, the converting step comprising;

identifying type names;

concatenating the type names with the unique identifier producing a concatenation result;

hashing the concatenation result with the unique identifier thereby producing a hashcode; and

using the hash code in lieu of the type name.

10. The method of operating a smart card programming environment of claim 9 wherein the unique identifier is a public key token associated with the program unit.

11. The method of operating a smart card programming environment of claim 9 wherein the program unit is a .NET assembly.

12. The method of operating a smart card programming environment of claim 9 wherein hashing step comprises performing an MD5 or a SHA1 operation on the concatenation result.

13. A programming environment capable of imparting digital uniqueness to type definitions originating from at least two sources and used in programming a smart card, comprising:

logic for associating a unique data sequence to a programming unit containing a type definition having a type name;

logic for concatenating the type name with the unique data sequence thereby producing a concatenation result;

logic for performing a digital operation to produce an operation result that is a function of the concatenation result; and

logic for using the operation result in lieu of the type name when performing operations that require the type name.

14. The programming environment capable of imparting digital uniqueness to type definitions of claim 13 wherein the programming unit is a .NET assembly.

15. The programming environment capable of imparting digital uniqueness to type definitions of claim 13 wherein the programming unit is a JAVA class or jar file.

16. The programming environment capable of imparting digital uniqueness to type definitions of claim 13 wherein the unique data sequence is a public key token assigned to the programming unit.

17. The programming environment capable of imparting digital uniqueness to type definitions of claim 13 wherein the unique data sequence is a Universal Identifier (UID) assigned to the programming unit.

18. The programming environment capable of imparting digital uniqueness to type definitions of claim 13 wherein the digital operation is a hashing algorithm.

19. The programming environment capable of imparting digital uniqueness to type definitions of claim 13 wherein the hashing algorithm is selected from the set including MD5 and SHA1.

20. The programming environment capable of imparting digital uniqueness to type definitions of claim 13 wherein the digital operation produces a compressed digital string that uniquely identifies the type.