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