The green hill software has already announced its Integrity-178 B operating system has already obtained EAL6 + proved, the supreme level of the security of any OS of the identification up till now, and it will establish a new company, intact and global and safe, limited company, a individual proprietorship company, in order to sell OS to enterprises.

Prove because national information guarantees the cooperation (NIAP) Awarded, a national security agent of U.S.A. (NSA) Government’s initiative of operation, assess and guarantee the competence (EAL) to the ordinary standard 6 +, high stability. This prevents fund from being rich, complicated, hostile assailant. Up till now, the supreme identification of awarding to any OS is EAL4, this is exceeding the basic protective measure to careless or accidental attack.

” You prove the system with the file, nobody reads your source code and not basically goes through 4 EAL method meddled in in any attempt, ” Founder and CEO of the green hill software, red O’Dowd says. ” It is but until you go for EAL6 + when,it it needs to be safe formal mathematics evidence in system it. ” In that case, the government rents, ” A group of doctors ” Write the formal evidence and appraise test yard of code and exactness. ” This is that anyone has already proved an operating system is safe the first time, ” He says.

The hints of army and government are numerous. Today, various safe levels are used many computers to obtain on a desk, for regular access to the Internet being with get first top-secret for safe grade from secret range while being other. These is in an single desk, cause the system to spend, IT props up and helps the expenses, cause up to 4 systems on consumption and space question of the desk. Similar to this, the wheeled vehicle of highly flexible multiuse in the field needs multiple system.

” NSA asked 4 years ago we solved that problem, they said, ‘ this is killing us, how can we put all of them on a computer? In order to do that, what standard must you reach? ‘ ” L Unless unless O’Dowd, that is at SKPP, let’s separate there aren’t kernel,from,and last EAL6 by GHS that + standard place. When there are 7 stepsing, O’Dowd has already said that feels the government of 6th step is enough.

According to O’Dowd, OSes will spend the 4 at least such as Windows, Linux, Solaris or VxWorks will be caught up with. ” All these have not even already begun the course, ” He says. Honest to redesign safe amalgamating a lot of think characteristic OSes these.

” Safe always about not making mistakes, ” O’Dowd says. ” People who design Windows, when they write it, Linux or VxWorks has not known the security. Before they decide they want to use it for safely, thousands of defects when used in it of its are great and enormous and intricate. ”

Rely on the quantity that makes the code walk to reduce to and run and attack once sensitively with that like this in the security core minimumly very much safely, and totally test the line left. According to O’Dowd, all there are impressionable several million lines Linux and Windows, and VxWorks has 100, 000 lines. ” It is about 10, 000 to use up wholly, ” He says, and GHS hires the mathematician who will totally test each line.

Get a thorough understanding how to avoid operating the driver in the security core, this is only a part of a story, other respects are including guaranteeing the response time in user way, do not permit all privilege and not allow the new course to arrange their own priority or is close to abundant systematic resources to the new course.

It is might for EAL6 that prove at Windows and OSeses other + when,they can at the not turning round by virtualization layer of binary scale on being the honest of OSes of using.

New company
Give history of GHS in the course of employing, the company determines it starts an intact global safe limited company and sells operating system to enterprises to protect the government and common electron as a individual proprietorship company Assets. Groceries retailer David, advanced VP of GHS sold regards it as a CEO to take the rudder of the new company. A key member of consultative committee of company is general genetic Habiger (retire) ,Among other roles, as the commander-in-chief of order of all nuclear strength and an old soldier of 35 years of control.

When he is told SatCom system to have a back door to damage the E-mail traffic possibly, Habiger got healthy skepticism of a kind of so-called security system. However, he says his honour is a part of the intact global service team. ” I am by having any initiative names which shows me to choose very much, ” If not the new company is a thing that he is especially some excited. There is Habiger to a lot of government action departments from his retirement, have already been asked Richardson that he himself attacks as ‘ the safe tsar ‘ for the nuclear and electron.