Context: One use of the term "computer security" refers to technology that is used to implement secure operating systems. In the 1980s the United States Department of Defense (DoD) used the "Orange Book" standards, but the current international standard ISO/IEC 15408, "Common Criteria" defines a number of progressively more stringent Evaluation Assurance Levels. Many common operating systems meet the EAL4 standard of being "Methodically Designed, Tested and Reviewed", but the formal verification required for the highest levels means that they are uncommon. An example of an EAL6 ("Semiformally Verified Design and Tested") system is Integrity-178B, which is used in the Airbus A380 and several military jets.

Question: Technology that is used to implement secure operating systems is one use of what term?
Answer: computer security

Question: What does EAL stand for?
Answer: Evaluation Assurance Levels

Question: What is the standard of EAL4?
Answer: Methodically Designed, Tested and Reviewed

Question: What is the standard for EAL6?
Answer: Semiformally Verified Design and Tested

Question: What is an example of a system that meets EAL6?
Answer: Integrity-178B

Question: Which system is used by the Airbus A380 and military jets?
Answer: Unanswerable

Question: How common are the formal verification for the highest levels?
Answer: Unanswerable

Question: In the 1980s the Department of Defense used which standards?
Answer: Unanswerable

Question: What does Common Criteria refer to?
Answer: Unanswerable

Question: Which level do many common operating systems meet?
Answer: Unanswerable

Question: When was the Common Criteria defined?
Answer: Unanswerable

Question: Who created the Common Criteria?
Answer: Unanswerable

Question: What is the name of a system that meets the EAL4 standard?
Answer: Unanswerable

Question: What makes it difficult for systems to use the EAL4 standard?
Answer: Unanswerable

Question: What is an example of a system that uses the Orange Book Standards?
Answer: Unanswerable