Title :
Fine-grained information flow analysis for a /spl lambda/-calculus with sum types
Author :
Simonet, Vincent
Keywords :
Calculus; Chromium; Computer security; Conferences; Encoding; Information analysis; Pattern matching;
Conference_Titel :
Computer Security Foundations Workshop, 2002. Proceedings. 15th IEEE
Conference_Location :
Cape Breton, NS, Canada
Print_ISBN :
0-7695-1689-0
DOI :
10.1109/CSFW.2002.1021818
