An Access and Information Flow Control Paradigm for Secure Information Sharing in Service-Based Systems | IEEE Conference Publication | IEEE Xplore