Method for monitoring program flow to verify execution of...

Details Method for monitoring program flow to verify execution of... Method for monitoring program flow to verify execution of...

2007-01-23

2007-01-23

Ingberg, Todd (Department: 2193)

Data processing: software development, installation, and managem

Software program development tool

Testing or debugging

C717S124000, C712S229000

Reexamination Certificate

active

09936174

ABSTRACT:
In a method for monitoring the flow of execution of a series of instructions of a computer program, a sequence of instructions are transmitted to the processor to execute the monitored program. These instructions are analyzed, and the result of the analysis are verified by referring to reference data recorded with the program. The reference data can include a value predetermined in such a way as to correspond to the result of the analysis produced during the monitoring process only if all the instructions have been actually analyzed during the program flow. The invention also concerns a device for monitoring the program execution, a program device, and a programming device operating according to the monitoring principles.

REFERENCES:
patent: 4266272 (1981-05-01), Berglund et al.
patent: 5347581 (1994-09-01), Naccache et al.
patent: 5452357 (1995-09-01), Naccache
patent: 5933498 (1999-08-01), Schneck et al.
patent: 5974549 (1999-10-01), Golan
patent: 5983348 (1999-11-01), Ji
patent: 5991414 (1999-11-01), Garay et al.
patent: 6014723 (2000-01-01), Tremblay et al.
patent: 6021469 (2000-02-01), Tremblay et al.
patent: 6023764 (2000-02-01), Curtis
patent: 6065108 (2000-05-01), Tremblay et al.
patent: 6092120 (2000-07-01), Swaminathan et al.
patent: 6199181 (2001-03-01), Rechef et al.
patent: 6275938 (2001-08-01), Bond et al.
patent: 6279123 (2001-08-01), Mulrooney
patent: 6314409 (2001-11-01), Schneck et al.
patent: 6327700 (2001-12-01), Chen et al.
patent: 6402028 (2002-06-01), Graham et al.
patent: 6418420 (2002-07-01), DiGiorgio et al.
patent: 6507904 (2003-01-01), Ellison et al.
patent: 6510352 (2003-01-01), Badavas et al.
patent: 6546546 (2003-04-01), Van Doorn
patent: 6557168 (2003-04-01), Czajkowski
patent: 6581206 (2003-06-01), Chen
patent: 6615264 (2003-09-01), Stoltz et al.
patent: 6668325 (2003-12-01), Collberg et al.
patent: 6698662 (2004-03-01), Feyt et al.
patent: 6802054 (2004-10-01), Faraj
patent: 6859533 (2005-02-01), Wang et al.
patent: 6862684 (2005-03-01), DiGiorgio
patent: 6941285 (2005-09-01), Sarcanin
patent: 6951018 (2005-09-01), Long et al.
patent: 2002/0174309 (2002-11-01), Naccache et al.
patent: 2003/0079127 (2003-04-01), Bidan et al.
patent: 2003/0188170 (2003-10-01), Bidan et al.
patent: 2004/0088555 (2004-05-01), Girard et al.
patent: 0012794 (1980-07-01), None
“Batch Exponentiation A Fast DLP-based Signature Generation Strategy”, David M'Raithi and David Naccache, ACM, 1996, pp. 58-61.
JAVA 2 Complete, SYBEX, Steven Holzner, pp. 3-28, 1999.
“A New Public Key Crytosystem Based on Higher Residues”, David Naccache et al, ACM 1998, pp. 59-66.
“Twin Signatures:An Alternative to the Hash-and-Sign Paradigm”, David Naccache et al, ACM 2001, pp. 20-27.
“PicoDBMS:Scaling Down Database Technique For The Smartcard”, Philippe Pucheral et al, VLDL Journal, 2001, pp. 120-132.
“Implementation for Coalesced Hashing”, Jeffrey Scott Vitter Brown University, ACM, Dec. 1982, pp. 911-926.
“Optimal Arrangement of Keys in Hash Table”, Ronald L. Rivest, ACM, Apr. 1978, pp. 200-209.
“Code Optimization Techniques for Embedded DSP Microprocessors”, Stan Liao et al, ACM, 1995, 6 pages.
“Fundemental Technique for Order Optimization”, David Simmen et al, ACM, 1996, pp. 57-67.
Java Card API 2.0 Specification Finalized, Oct. 15, 1997, Press Release, 2 pages.
Understanding Java Card 2.0 Zhinquin Chen et al, JAVAWorld, Mar. 1998, 12 pages.
Java Card 2.0 Programming Concepts, Sun Microsystems Inc. Oct. 15, 1997, 25 pages.
Java Card 2.0 Language Subset and Virtual Machine Specification, Oct. 13, 1997, Sun Microsystems Inc, 14 pages.
Java Card 2.0 Application Programming Interfaces, Oct. 13, 1997, Sun Microsystems Inc, 163 pages.
The K Virtual Machine (KVM), Sun MicroSystems Inc, Jun. 8, 1999, Whole Manual.
Java Card Applet Developer's Gudie, Sun MicroSystem Inc, Aug. 19, 1998, Whole Manual.

Affiliated with

Also associated with

Rating

Method for monitoring program flow to verify execution of... 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 monitoring program flow to verify execution of..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for monitoring program flow to verify execution of... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3728400