IRM Enforcement of Java Stack Inspection

Berkeley, California May 14-May 17

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/SECPRI.2000.848461

2000 IEEE Symposium on Security and P ...

	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 Ulfar Erlingsson Articles by Fred B. Schneider

	ASCII Text	x
	Ulfar Erlingsson, Fred B. Schneider, "IRM Enforcement of Java Stack Inspection," Security and Privacy, IEEE Symposium on, pp. 0246, 2000 IEEE Symposium on Security and Privacy (S&P 2000), 2000.

	BibTex	x
	@article{ 10.1109/SECPRI.2000.848461, author = {Ulfar Erlingsson and Fred B. Schneider}, title = {IRM Enforcement of Java Stack Inspection}, journal ={Security and Privacy, IEEE Symposium on}, volume = {0}, year = {2000}, issn = {1540-7993}, pages = {0246}, doi = {http://doi.ieeecomputersociety.org/10.1109/SECPRI.2000.848461}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Security and Privacy, IEEE Symposium on TI - IRM Enforcement of Java Stack Inspection SN - 1540-7993 SP EP A1 - Ulfar Erlingsson, A1 - Fred B. Schneider, PY - 2000 KW - Java KW - security KW - stack inspection KW - reference monitor KW - language-based security VL - 0 JA - Security and Privacy, IEEE Symposium on ER -

Ulfar Erlingsson

Fred B. Schneider, Cornell University

Two implementations are given for Java's stack-inspection access-control policy. Each implementation is obtained by generating an inlined reference monitor (IRM) for a different formulation of the policy. Performance of the implementations is evaluated, and one is found to be competitive with Java's less-flexible, JVM-resident implementation. The exercise illustrates the power of the IRM approach for enforcing security policies.

Index Terms:

Java, security, stack inspection, reference monitor, language-based security

Citation:

Ulfar Erlingsson, Fred B. Schneider, "IRM Enforcement of Java Stack Inspection," sp, pp.0246, 2000 IEEE Symposium on Security and Privacy (S&P 2000), 2000

Peer Review Notice | Give Us Feedback

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