DocumentCode

2020692

Title

Fine-grained information flow analysis for a /spl lambda/-calculus with sum types

Author

Simonet, Vincent

fYear

2002

fDate

24-26 June 2002

Firstpage

209

Keywords

Calculus; Chromium; Computer security; Conferences; Encoding; Information analysis; Pattern matching;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Security Foundations Workshop, 2002. Proceedings. 15th IEEE

Conference_Location

Cape Breton, NS, Canada

ISSN

1063-6900

Print_ISBN

0-7695-1689-0

Type

conf

DOI

10.1109/CSFW.2002.1021818

Filename

1021818