One use of the term "computer security" refers to technology that is used to implement secure operating systems. Which system is used by the Airbus A380 and military jets