Domain and type enforcement firewalls | IEEE Conference Publication | IEEE Xplore