This is DRAFT POST and more formal background for the ideas discussed in Information flow control is an old idea. The formal concepts were introduced in 1976 and there has been continuous work introducing new flavors since then. I’m going to briefly summarize one such flavor, just enough to build the later examples on.
A short Information Flow Control primer
A short Information Flow Control primer
A short Information Flow Control primer
This is DRAFT POST and more formal background for the ideas discussed in Information flow control is an old idea. The formal concepts were introduced in 1976 and there has been continuous work introducing new flavors since then. I’m going to briefly summarize one such flavor, just enough to build the later examples on.