Information Flow ControlInformation Flow Notion css.csail.mit.eduhttps://css.csail.mit.edu/6.858/2015/lec/lampson.pdf