Rockwell Collins has contracted with the U.S. military to use mathematics-based development methods to secure platforms against cyber attack.
