High-Assurance Cyber Military Systems