Methods and systems for achieving high assurance computing...

Details Methods and systems for achieving high assurance computing... Methods and systems for achieving high assurance computing...

2007-09-14

2010-11-23

Ellis, Kevin L (Department: 2187)

Electrical computers and digital processing systems: memory

Storage accessing and control

Shared memory area

C711S152000, C711S163000, C726S017000, C713S164000

Reexamination Certificate

active

07840763

ABSTRACT:
A computing system contains and uses a partitioning microkernel (PMK) or equivalent means for imposing memory partitioning and isolation prior to exposing data to a target operating system or process, and conducts continuing memory management whereby data is validated by security checks before or between sequential processing steps. The PMK may be used in conjunction with an Object Request Broker.

REFERENCES:
patent: 7676608 (2010-03-01), Crosmer et al.
patent: 7676673 (2010-03-01), Weller et al.
patent: 7734933 (2010-06-01), Marek et al.
patent: 2002/0035687 (2002-03-01), Skantze
patent: 2002/0080967 (2002-06-01), Abdo et al.
patent: 2002/0099959 (2002-07-01), Redlich et al.
patent: 2002/0147920 (2002-10-01), Mauro
patent: 2002/0166068 (2002-11-01), Kilgore
patent: 2003/0031151 (2003-02-01), Sharma et al.
patent: 2003/0095663 (2003-05-01), Nelson et al.
patent: 2003/0140238 (2003-07-01), Turkboylari
patent: 2003/0200455 (2003-10-01), Wu
patent: 2003/0204719 (2003-10-01), Ben-Itzhak
patent: 2003/0210788 (2003-11-01), Billhartz et al.
patent: 2003/0219129 (2003-11-01), Whelan et al.
patent: 2003/0220765 (2003-11-01), Overy et al.
patent: 2003/0233567 (2003-12-01), Lynn et al.
patent: 2003/0236990 (2003-12-01), Hrastar et al.
patent: 2004/0003280 (2004-01-01), Narayanan et al.
patent: 2004/0008840 (2004-01-01), Ferguson
patent: 2005/0223184 (2005-10-01), Russell et al.
patent: 2007/0032920 (2007-02-01), Dapp et al.
patent: 2007/0136721 (2007-06-01), Dunshea et al.
patent: 00/67445 (2000-11-01), None
patent: 2004/068817 (2004-08-01), None
Lockheed-Martin et al. Protection Profile for Partitioning Kernels in Environments Requiring Augmented High Robustness Jun. 9, 2003.
“Everbee Networks Announces Hassle-Free PC Security Device for Families and Professionals”, [online] [Retrieved on Jun. 3, 2004] Retrieved from the Internet <URL:http://www.prweb.com/printerphp?prid=106411>, 1997-2004, PR Web.
“Security Anytime, Anywhere”, pp. 1-2, Everbee Networks.
“3Com Embedded Firewall for the 3CR990 NICs Family”, 2001, pp. 1-4, 3Com Corporation.
“3Com Embedded Firewall Architecture for E-Business”, 2001, pp. 1-4, 3Com Corporation.
“The Wireless Hacker Project”, Apr. 2003, pp. 1-4, KPMG's UK Design Services.
“NVIDIA nForce3”, [online] [Retrieved on Jun. 3, 2005] Retrieved from the internet <URL:http://www.nvidia.com/page
f3.html>, 2005, pp. 1-2, NVIDIA Corporation.
“3rd Generation Partnership Project; Technical Specification Group Services and System Aspects; 3G Security; Security Threats and Requirements (Release 4)”, 2001, pp. 1-26, 3GPP TS 21.133 V4.1.0 (Dec. 2001), 3GPP Organizational Partners.
“Everbee Networks Introduces Secure Personal Networking Solution Based on Motorola PowerQUICC and Security Processors”, [online] [Retrieved on Jun. 3, 2004] Retrieved from the internet <URL:http://www.emediawire.com/printer.php?prid=83724>, pp. 1-2, Everbee Networks.
“RG-Firewall”, [Online] [Retrieved on Mar. 26, 2004] Retrieved from the internet <URL:http://www.jungo.com/openrg/rgfirewall.html>, pp. 1-2.
“OpenRG for Wireless Gateways and Access Points”, 2003, pp. 1-2, Jungo Software Technologies Inc.
“High Assurance Wireless Computing System (HAWCS)”, [online] [Retrieved on Aug. 26, 2004], Retrieved from the Internet <URL:http://www.hawcs.com/—High Assurance Wireless Computing System (HAWCS)>, pp. 1-2.
“Wireless LAN Security-What Hackers Know That You Don't”, 2003, pp. 1-9, AirDefense, Inc., Alpharetta, GA.
“Everbee Embedded Software”, [online] [Retrieved on May 13, 2004] Retrieved from the internet <URL:http://www.everbee.com/index.php?rub—id=2&sub—id=2>, 1994-2004, pp. 1-3, Everbee Networks.
“Deepnines' Sleuth9 Security System Immediately Stops”, [online] [Retrieved on Mar. 8, 2004] Retrieved from the internet <URL:http://www.deepniness.com/press—releases/pr101403.html>, Oct. 13, 2003, pp. 1-2, DeepNines, Inc.
“Everbee xNSP”, [online] [Retrieved on May 13, 2004] Retrieved from the internet <URL:http://www.everbee.com/index.php?rub—id=2&sub—id=1>, 1994-2004, pp. 1-2, Everbee Networks.
“Security at the Gate. All in One”, 2004, pp. 1-4, Everbee Networks.
“A USB Key for Portable, Personal Internet Security”, [online] [Retrieved on May 13, 2004] Retrieved from the internet <URL: http://www.everbee.com/index.php?rub—id=2&sub—id=6>, 1999-2004, pp. 1-3, Everbee Networks.

Affiliated with

Also associated with

Rating

Methods and systems for achieving high assurance computing... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Methods and systems for achieving high assurance computing..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Methods and systems for achieving high assurance computing... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4240262