DocumentCode :
3195587
Title :
A new type system for secure information flow
Author :
Smith, Geoffrey
Author_Institution :
Florida International University
fYear :
2001
fDate :
2001
Firstpage :
115
Lastpage :
125
Keywords :
Clocks; Computer languages; Computer science; Control systems; Costs; Probability distribution; Processor scheduling; Protection; Timing; Yarn;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Security Foundations Workshop, 2001. Proceedings. 14th IEEE
ISSN :
1063-6900
Print_ISBN :
0-7695-1147-3
Type :
conf
DOI :
10.1109/CSFW.2001.930141
Filename :
930141
Link To Document :
بازگشت