MLS-PCA: a high assurance security architecture for future avionics | IEEE Conference Publication | IEEE Xplore