Rockwell Collins
Cross Domain Guard for Military Tactical Systems

Rockwell Collins successfully used SPARK Pro and GNAT Pro High-Security in the development of the SecureOne⢠Guard, a high assurance cross domain guard for military tactical systems.
Last Updated: 10/2/2017
Posted on: 11/13/2012