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

CC
CSFW
2002
15th IEEE Computer Security Foundations Workshop (CSFW'02)
Abstract - Secure Information Flow and Pointer Confinement in a Java-like Language

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	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

15th IEEE Computer Security Foundations Workshop (CSFW'02)

Cape Breton, Nova Scotia, Canada

June 24-June 26

ISBN: 0-7695-1689-0

	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

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

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.