pecification on the Concrete and Abstract Syntax Level of a Diagram Language Sonja Maier, Steffen Mazanek and Mark Minas 15 pages Guest Editors: Andrew Fish, Harald St
Although static systems for information flow security are well-studied, few works address runtime information flow monitoring. Runtime information flow control offers distinct adv...