Title :
A new type system for secure information flow
Author_Institution :
Florida International University
Keywords :
Clocks; Computer languages; Computer science; Control systems; Costs; Probability distribution; Processor scheduling; Protection; Timing; Yarn;
Conference_Titel :
Computer Security Foundations Workshop, 2001. Proceedings. 14th IEEE
Print_ISBN :
0-7695-1147-3
DOI :
10.1109/CSFW.2001.930141