Info Flow Type

Reference 1

  1. Language-based information-flow security. IEEE journal on selected areas in comm. 2003. ↩
Created Oct 5, 2019 // Last Updated Oct 5, 2019

If you could revise
the fundmental principles of
computer system design
to improve security...

... what would you change?