A logic of composition for information flow predicates | IEEE Conference Publication | IEEE Xplore