Characterizing intransitive noninterference for 3-domain security policies with observability | IEEE Journals & Magazine | IEEE Xplore