Pascal Birnstill, Christoph Bier, Paul Georg Wagner, Jürgen Beyerer. Generic Semantics Specification and Processing for Inter-System Information Flow Tracking. In Kevin Daimi, editor, Computer and Network Security Essentials. pages 445-460, Springer, 2018. [doi]
Abstract is missing.