Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security.
Mohit TiwariJason ObergXun LiJonathan ValamehrTimothy E. LevinBen HardekopfRyan KastnerFrederic T. ChongTimothy SherwoodPublished in: ISCA (2011)
Keyphrases
- information flow
- information security
- flow analysis
- input output
- social networks
- ibm zenterprise
- supply chain
- communication networks
- information flows
- information systems
- high speed
- read write
- multi threaded
- ibm power processor
- emergency management
- main memory
- distributed databases
- reactive systems
- information propagation
- flow graph
- cache misses
- data mining
- database