Types for Information Flow Control: Labeling Granularity and Semantic Models | IEEE Conference Publication | IEEE Xplore