Title :
Secure information flow and pointer con .nement in a java-like language
Author :
Banerjee, Anindya ; Naumann, David A.
Keywords :
Access control; Calculus; Computer science; Computer security; Data security; Information security; Java; Object oriented modeling; Parametric statistics; Sequential analysis;
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.1021820