Method for managing an executable code downloaded in a...

Details Method for managing an executable code downloaded in a... Method for managing an executable code downloaded in a...

2004-04-02

2010-11-23

Pyzocha, Michael (Department: 2437)

Electrical computers and digital processing systems: support

Multiple computer communication using cryptography

Particular communication authentication technique

C713S181000, C713S193000, C455S410000, C709S203000, C380S029000

Reexamination Certificate

active

07840814

ABSTRACT:
A method for managing an original executable code downloaded into a reprogrammable computer on-board system such as a microprocessor card. The code includes a cryptographic signature and is executable by the microprocessor once the validity of the signature has been checked. Off the card, a modified executable code corresponding to the original code and adapted to a pre-defined specific use is identified. A software component is calculated, which when applied to the original code, enables the modified code to be reconstructed. The software component is signed, and the signed original code and the signed software component are downloaded into the card. On the card, the signature of the original code and the software component are checked, and the software component is applied to the original code in order to reconstruct the modified code for the execution of the same by the microprocessor.

REFERENCES:
patent: 6005942 (1999-12-01), Chan et al.
patent: 2002/0002703 (2002-01-01), Baentsch et al.
patent: 2005/0107069 (2005-05-01), Vetillard
patent: 2 797 963 (2001-03-01), None
patent: WO 0028416 (2000-05-01), None
You-Sung Chang, Seungjong Lee, In-Cheol Park, Chong-Min Kyung, “Verification of a microprocessor using real world applications”, Jun. 1999, DAC '99: Proceedings of the 36th annual ACM/IEEE Design Automation Conference, Publisher: ACM, pp. 181-184.
Sun Microsystems: “Java Card 2.1 Virtual Machine Specification”, Jun. 7, 1999, pp. 1-46.
X. Leroy, “On-Card Byecode Verification for Java Card”, Lecture notes in Computer Science, New York, vol. 2140, 2001, pp. 150-164.
L. Casset. “Formal Development of an Embedded Verifier for Java Card Byte Code”, Washington, D.C., 2002, pp. 51-56.

Affiliated with

Also associated with

Rating

Method for managing an executable code downloaded in a... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method for managing an executable code downloaded in a..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for managing an executable code downloaded in a... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4195194