Raytheon is also one of several co-developers of the High Assurance Platform. They have, I believe, focused a little more on the embedded side of things.
One of Raytheon's researchers, a Mr. Rushby, is considered the father of the MILS (Multiple Independent Layers of Security) architecture. Had MILS not emerged, there would be no HAP as we know it today.
News 
Market Data 
Discover 
AI
