Electrical computers and digital processing systems: memory – Storage accessing and control – Control technique
Reexamination Certificate
2011-06-14
2011-06-14
Krofcheck, Michael C (Department: 2186)
Electrical computers and digital processing systems: memory
Storage accessing and control
Control technique
C711SE12091, C711S163000
Reexamination Certificate
active
07962702
ABSTRACT:
The present invention is directed to an integrated circuit, a method and a system for executing a sequence of instruction loaded from an external storage element and ensuring the authenticity of the sequence of instructions via RAM paging. In one embodiment, the integrated circuit includes a processor for executing a sequence of instructions loaded from an external storage element. To ensure the authenticity of the sequence of instructions from the external storage element, the processor supports Multiple Independent Levels of Security (MILS) or another partitioning scheme. A zeroizer is included to zeroize the on-die memory banks thereby ensuring that the processor is incapable of accessing residual sequences of instructions as loaded and stored from the external storage element thereby ensuring the authenticity of the sequence of instructions executed by the processor.
REFERENCES:
patent: 4809347 (1989-02-01), Nash et al.
patent: 6467027 (2002-10-01), Kyker et al.
patent: 7606363 (2009-10-01), MacDonald et al.
patent: 2002/0095557 (2002-07-01), Constable et al.
patent: 2004/0088488 (2004-05-01), Ober et al.
patent: 2006/0023486 (2006-02-01), Furusawa et al.
patent: 2007/0033369 (2007-02-01), Kasama et al.
patent: 2007/0226493 (2007-09-01), O'Brien et al.
patent: 2007/0226494 (2007-09-01), O'Brien et al.
patent: 2008/0141266 (2008-06-01), Hunt et al.
patent: 60197994 (1985-10-01), None
patent: 01094594 (1989-04-01), None
Hardin et al., “A Robust Machine Code Proof Framework for Highly Secure Applications,” Aug. 2006, Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications, pp. 11-20.
Barbieri Daniel M.
Evans Matthew J.
Krofcheck Michael C
Rockwell Collins, Inc.
LandOfFree
Multiple independent levels of security (MILS) certifiable... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Multiple independent levels of security (MILS) certifiable..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Multiple independent levels of security (MILS) certifiable... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2731873