A high assurance cross-domain guard for use in Service-Oriented Architectures. - Raymond Haakseth; Nils Agne Nordbotten; Oyvind Jonsson; Bengt Kristiansen (ICMCIS, 2015)