DocumentCode
2020759
Title
Secure information flow and pointer con .nement in a java-like language
Author
Banerjee, Anindya ; Naumann, David A.
fYear
2002
fDate
24-26 June 2002
Firstpage
239
Keywords
Access control; Calculus; Computer science; Computer security; Data security; Information security; Java; Object oriented modeling; Parametric statistics; Sequential analysis;
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.1021820
Filename
1021820
Link To Document