Transparent IFC Enforcement: Possibility and (In)Efficiency Results

Maximilian Algehed, Cormac Flanagan

Information Flow Control (IFC) is a collection of techniques for ensuring a no-write-down no-read-up style security policy known as noninterference. Traditional methods for both st…