Dynamic verification of validity of executable code

Details Dynamic verification of validity of executable code Dynamic verification of validity of executable code

2011-07-19

2011-07-19

Orgad, Edan (Department: 2439)

Electrical computers and digital processing systems: support

Computer program modification detection by cryptography

C726S024000, C726S025000, C717S124000, C717S126000, C717S127000

Reexamination Certificate

active

07984304

ABSTRACT:
Computer-executable instructions in a computer are verified dynamically, after they have been identified for submission for execution, but before they are actually executed. In particular, for at least one current instruction that has been identified for submission to the processor for execution, an identifying value, for example, a hash value, is determined for a current memory block that contains the current instruction. The identifying value of the current memory block is then compared with a set of reference values. If the identifying value satisfies a validation condition, then execution of the current instruction by the processor is allowed. If the validation condition is not satisfied, then a response is generated: In the common case, execution of the current instruction is not allowed, or some other predetermined measure is taken.

REFERENCES:
patent: 5414833 (1995-05-01), Hershey et al.
patent: 5440723 (1995-08-01), Arnold et al.
patent: 5696822 (1997-12-01), Nachenberg
patent: 5826013 (1998-10-01), Nachenberg
patent: 5919257 (1999-07-01), Trostle
patent: 5964889 (1999-10-01), Nachenberg
patent: 6021510 (2000-02-01), Nachenberg
patent: 6094731 (2000-07-01), Waldin et al.
patent: 6111517 (2000-08-01), Atick et al.
patent: 6122738 (2000-09-01), Millard
patent: 6122739 (2000-09-01), Kutaragi et al.
patent: 6148401 (2000-11-01), Devanbu et al.
patent: 6151618 (2000-11-01), Wahbe et al.
patent: 6275938 (2001-08-01), Bond et al.
patent: 6275939 (2001-08-01), Garrison
patent: 6338141 (2002-01-01), Wells
patent: 6357008 (2002-03-01), Nachenberg
patent: 6381698 (2002-04-01), Devanbu et al.
patent: 6397242 (2002-05-01), Devine et al.
patent: 6651080 (2003-11-01), Liang et al.
patent: 6678825 (2004-01-01), Ellison et al.
patent: 6697810 (2004-02-01), Kumar et al.
patent: 6763466 (2004-07-01), Glover
patent: 6775780 (2004-08-01), Muttik
patent: 6851057 (2005-02-01), Nachenberg
patent: 6968461 (2005-11-01), Lucas et al.
patent: 6973577 (2005-12-01), Kouznetsov
patent: 6981176 (2005-12-01), Fruehling et al.
patent: 7010698 (2006-03-01), Sheymov
patent: 7069583 (2006-06-01), Yann et al.
patent: 7082615 (2006-07-01), Ellison et al.
patent: 7093135 (2006-08-01), Radatti et al.
patent: 7093239 (2006-08-01), van der Made
patent: 7117488 (2006-10-01), Franz et al.
patent: 7146305 (2006-12-01), van der Made
patent: 7181768 (2007-02-01), Ghosh et al.
patent: 7188367 (2007-03-01), Edwards et al.
patent: 7236610 (2007-06-01), Luo et al.
patent: 7367057 (2008-04-01), Das et al.
patent: 7519997 (2009-04-01), Shipp
patent: 7565522 (2009-07-01), Sastry et al.
patent: 7603704 (2009-10-01), Bruening et al.
patent: 7631356 (2009-12-01), Hatlelid et al.
patent: 7716495 (2010-05-01), Shupak et al.
patent: 2002/0077782 (2002-06-01), Fruehling et al.
patent: 2003/0023863 (2003-01-01), El Fassi et al.
patent: 2003/0126590 (2003-07-01), Burrows et al.
patent: 2005/0108562 (2005-05-01), Khazan et al.
Mendel Rosenblum, Stephen A. Herrod, Emmett Witchel, Anoop Gupta; Complet Computer System Simulation: The SimOS Approach; Stanford Universit; IEEE Parallel & Distributed Technology; 1995; pp. 34-43.

Affiliated with

Also associated with

Rating

Dynamic verification of validity of executable code does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Dynamic verification of validity of executable code, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Dynamic verification of validity of executable code will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2729287