Data processing: software development – installation – and managem – Software program development tool – Translation of code
Reexamination Certificate
2006-03-28
2006-03-28
Dam, Tuan (Department: 2191)
Data processing: software development, installation, and managem
Software program development tool
Translation of code
C717S148000, C717S153000
Reexamination Certificate
active
07020872
ABSTRACT:
The invention relates to a method for verifying transformation (2) of a source code (1) into a transformed code (3) designed for an embedded system (7) such as in a smart card or other portable or mobile device including data processing resources. The method comprises at least the following steps: determining a single virtual machine that factors in the behavior of both of these codes (1, 3), determining for each source code (1) and transformed code (3) a plurality of auxiliary functions representing the residual differences between said source code (1) and transformed code (3), and a step for verifying a correspondence property between the auxiliary functions, the verification of the code transformation (2) being obtained from this last step.
REFERENCES:
patent: 4736320 (1988-04-01), Bristol
patent: 5161231 (1992-11-01), Iijima
patent: 5293424 (1994-03-01), Holtey et al.
patent: 5534857 (1996-07-01), Laing et al.
patent: 5715431 (1998-02-01), Everett et al.
patent: 5856659 (1999-01-01), Drupsteen et al.
patent: 5889941 (1999-03-01), Tushie et al.
patent: 5923884 (1999-07-01), Peyret et al.
patent: 5987256 (1999-11-01), Wu et al.
patent: 5999732 (1999-12-01), Bak et al.
patent: 6005942 (1999-12-01), Chan et al.
patent: 6115719 (2000-09-01), Purdy et al.
patent: 6128774 (2000-10-01), Necula et al.
patent: 6216227 (2001-04-01), Goldstein et al.
patent: 6233683 (2001-05-01), Chan et al.
patent: 6253370 (2001-06-01), Abadi et al.
patent: 6256690 (2001-07-01), Carper
patent: 6308317 (2001-10-01), Wilkinson et al.
patent: 6390374 (2002-05-01), Carper et al.
patent: 6481632 (2002-11-01), Wentker et al.
patent: 6546549 (2003-04-01), Li
patent: 6581206 (2003-06-01), Chen
patent: 6591229 (2003-07-01), Pattinson et al.
patent: 6594738 (2003-07-01), Sugibayashi
patent: 6728950 (2004-04-01), Davis et al.
patent: 6810518 (2004-10-01), Grimaud et al.
patent: 2002/0100038 (2002-07-01), Balassanian
patent: 2 757 970 (1998-07-01), None
Robert Lezec, Stephan le Gentil, Open solutions for mobile data services, Mar. 1999, Telecommunications, international edition, vol. 33, issue 3, p. 85-88.
Rinald Di Giorgio, Mike Montgomery, Write OpenCard services for downloading Java Card apps; With this straightforward loading information in hand, you can load Schlumberger's CyberFlex 16K or Dallas Semiconductor's iButton, Feb. 1, 1999, Javaworld, p. 1.
Elana Varon, Smart cards break throgh, Dec. 21, 1998, Fedral Computer Week, vol. 12, issue 41, p. 21-23.
Business/Technology Editors, Java Card Forum Accelerates Standardisation of Java Card API, Oct. 22, 1998, Business Wire, p. 1.
IBM TDB Data base, Code Converage Measurement, Jan. 1, 1991.
Preston Turner, Burson-Marsteller, Sun's Java technology leads open worldwide market for smart cards, May 12, 1999, M2 Presswire, p. 1.
L Michael Guar, Mary Beth Guard, Get smart about smart cards, May/Jun. 1999, ABA Bank Compliance, issue 5, p. 25-31.
Jefferey Kutler, Smart Cards: Java Gets Pats on Back From Card Businesses In Belgium and France, American Banker (Newspaper), Mar. 31, 1999, vol. 164, issue 61, p. 16.
Tim Ritchey, JAVA!, Sep. 22, 1995, New Riders Publishing, p. 325-343.
Zhiqun Chen, Java Card Technology for Smart Cards, Sun Microsystems, 1996, p. 11-16.
Guthery, Java card: Internet computing on a smart card, IEEE, vol. 1, Issue 1, Jan.-Feb. 1997 Page(s):57-59.
Cucinotta et al., A protocol for programmable smart cards, IEEE, Sep. 1-5, 2003 Page(s):369-374.
Kaufman M et al: “NA Industrial Strength Theorem Prover for a Logic Based on Compon Lisp” ICCE Transactions on Software Engineering, US IEEE Inc. NY, vol. 23, No. 4 Apr. 1, 1997 pp. 203-213, XP000720014, ISSN: 0098-5589, entire document.
Alberda M I et al: “Using Formal Methods to Cultivate Trust in Smart Card Operating Systems” Future Generations Computer System, NL, Elsevier Science Publishing Amsterdam, vol. 13, No. 1, Jul. 1, 1997, pp. 39-54, XP004081708, ISSN: 0167 739X p. 53, lefthand column, line 2-line 33, Abstract.
Denney Ewen
Fradet Pascal
Goire Christian
Jensen Thomas
Le Metayer Daniel
CP8 Technologies
Dam Tuan
Kondracki Edward J.
Miles & Stockbridge P.C.
Rampuria Satish S.
LandOfFree
Method for verifying code transformers for an incorporated... 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 verifying code transformers for an incorporated..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for verifying code transformers for an incorporated... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3529752