Information Flow Control in Cyclic Process Networks

Bas van den Heuvel, Farzaneh Derakhshan, Stephanie Balzer

Protection of confidential data is an important security consideration of today's applications. Of particular concern is to guard against unintentional leakage to a (malicious) obs…