Military avionics systems have a restricted architecture that simplifies implementation of a Zero Trust Architecture, and a hardened separation kernel can provide the foundation...