The National Information Communications Technology Association (NICTA) and German IT security specialist Security Networks AG have entered a strategic research collaboration to develop high-security information technology (IT) products for the defence and government sectors.

 

The research will combine secunet’s experience in designing and building high-security devices with NICTA’s expertise in formal verification and secure microkernel technology.

 

NICTA has identified a "growing demand for highly secure computing systems that can keep various categories of data strictly separated, preventing unauthorised information crossover between domains."

 

"The highly demanding government and defence environments require increasingly strong evidence of the correct and secure operation of their IT products. A component-based design enables the rigorous demonstration of essential security properties. NICTA's extensive experience in formal verification has the potential to accelerate the process of formally proving secunet's critical real-world components."