Problem: 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.
What is an example of a system that meets EAL6?
---
Answer: Integrity-178B

Problem: Bermuda has developed a proud Rugby Union community. The Bermuda Rugby Union team won the 2011 Caribbean championships, defeating Guyana in the final. They previously beat The Bahamas and Mexico to take the crown. Rugby 7's is also played, with four rounds scheduled to take place in the 20112012 season. The Bermuda 7's team competed in the 2011 Las Vegas 7's, defeating the Mexican team. There are four clubs on the island: (1) Police (2) Mariners (3) Teachers (4) Renegades. There is a men's and women's competitioncurrent league champions are Police (Men) (winning the title for the first time since the 1990s) and Renegades (women's). Games are currently played at Warwick Academy. Bermuda u/19 team won the 2010 Caribbean Championships.
Who won the 2011 Guyana Championships?
---
Answer: unanswerable

Problem: The X3.2 subcommittee designed ASCII based on the earlier teleprinter encoding systems. Like other character encodings, ASCII specifies a correspondence between digital bit patterns and character symbols (i.e. graphemes and control characters). This allows digital devices to communicate with each other and to process, store, and communicate character-oriented information such as written language. Before ASCII was developed, the encodings in use included 26 alphabetic characters, 10 numerical digits, and from 11 to 25 special graphic symbols. To include all these, and control characters compatible with the Comite Consultatif International Telephonique et Telegraphique (CCITT) International Telegraph Alphabet No. 2 (ITA2) standard, Fieldata, and early EBCDIC, more than 64 codes were required for ASCII.
How many codes were required for ASCII?
---
Answer:
more than 64 codes