Security Types for Synchronous Data Flow Systems | IEEE Conference Publication | IEEE Xplore