Developing trusted systems using DOD-STD-2167A | IEEE Conference Publication | IEEE Xplore