Information Flow Monitoring as Abstract Interpretation for Relational Logic | IEEE Conference Publication | IEEE Xplore