Secure Information Flow and Pointer Confinement in a Java-like Language

Cape Breton, Nova Scotia, Canada June 24-June 26

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/CSFW.2002.1021820

15th IEEE Computer Security Foundatio ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Anindya Banerjee Articles by David A. Naumann

	ASCII Text	x
	Anindya Banerjee, David A. Naumann, "Secure Information Flow and Pointer Confinement in a Java-like Language," Computer Security Foundations Workshop, IEEE, pp. 253, 15th IEEE Computer Security Foundations Workshop (CSFW'02), 2002.

	BibTex	x
	@article{ 10.1109/CSFW.2002.1021820, author = {Anindya Banerjee and David A. Naumann}, title = {Secure Information Flow and Pointer Confinement in a Java-like Language}, journal ={Computer Security Foundations Workshop, IEEE}, volume = {0}, year = {2002}, issn = {1063-6900}, pages = {253}, doi = {http://doi.ieeecomputersociety.org/10.1109/CSFW.2002.1021820}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Computer Security Foundations Workshop, IEEE TI - Secure Information Flow and Pointer Confinement in a Java-like Language SN - 1063-6900 SP EP A1 - Anindya Banerjee, A1 - David A. Naumann, PY - 2002 KW - null VL - 0 JA - Computer Security Foundations Workshop, IEEE ER -

Anindya Banerjee, Kansas State University

David A. Naumann, Stevens Institute of Technology

We consider a sequential object-oriented language with pointers and mutable state, private fields and class-based visibility, dynamic binding and inheritance, recursive classes, casts and type tests, and recursive methods. Programs are annotated with security levels, constrained by security typing rules. A noninterference theorem shows how the rules ensure pointer confinement and secure information flow.

Citation:

Anindya Banerjee, David A. Naumann, "Secure Information Flow and Pointer Confinement in a Java-like Language," csfw, pp.253, 15th IEEE Computer Security Foundations Workshop (CSFW'02), 2002

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.