Reference:
Reference 1 Deferred exception Itanium: deferred exception tracking. can be used to support for information flow tracking. Deferred exception for speculatively executed instructions. An exception is deferred for later handling instead of being thrown out immediately. Each general purpose register is extended with an additional deferred exception token (NaT, Not a Thing) to keep track of exceptions. Token is propagated along with the executing instructions. Instruction to tnat check the existence of exceptions.
References: A Lattice Model of Secure Information Flow by Dorothy E. Denning, Purdue University. 1976. An information flow model FM is defined as below: To be secure, it requires: More
If you could revise
the fundmental principles of
computer system design
to improve security...
... what would you change?