Applying noninterference to composition of systems: a more practical approach | IEEE Conference Publication | IEEE Xplore