A world leader in developing secure software and operating systems.