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.

Read the Press Release »