A high assurance cross-domain guard for use in Service-Oriented Architectures | IEEE Conference Publication | IEEE Xplore