The security of static typing with dynamic linking

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The security of static typing with dynamic linking

Full text

Pdf (1.14 MB)

Source

Conference on Computer and Communications Security archive
Proceedings of the 4th ACM conference on Computer and communications security table of contents

Zurich, Switzerland

Pages: 18 - 27

Year of Publication: 1997

ISBN:0-89791-912-2

Author

Drew Dean

Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA

Sponsor

SIGSAC: ACM Special Interest Group on Security, Audit, and Control

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 29, Citation Count: 18

Additional Information:

references cited by index terms collaborative colleagues peer to peer

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTex EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/266420.266428 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Luca Cardelli, A semantics of multiple inheritance, Information and Computation, v.76 n.2-3, p.138-164, February/March 1988 [doi>10.1016/0890-5401(88)90007-7]
	2	Luca Cardelli, Program fragments, linking, and modularization, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.266-277, January 15-17, 1997, Paris, France [doi>10.1145/263699.263735]
	3	D. Dean , Felten , Wallach, Java Security: From HotJava to Netscape and Beyond, Proceedings of the 1996 IEEE Symposium on Security and Privacy, p.190, May 06-08, 1996
	4	D. Dean , Felten , Wallach, Java Security: From HotJava to Netscape and Beyond, Proceedings of the 1996 IEEE Symposium on Security and Privacy, p.190, May 06-08, 1996
	5	DROSSOPOULOU, S., AND EISENBACH, S. Is the Java type system sound? In Proceedings of the Fourth international Workshop on Foundations of Object-Oriented Languages (Paris, Jan. 1997). To appear.
	6	Kathleen Shanahan Fisher , John C. Mitchell, Type systems for object-oriented programming languages, 1996
	7	FISHER, K., AND MITCHELL, J. C. On the relationship between classes, objects, and data abstraction. In Proceedings of the 17th International Summer School on Mathematics of Program Construction (Marktoberdoff, Germany, 1996), LNCS, Spdnger-Vedag. To appear.
	8	GINGELL, R. A., LEE, M., DANG, X. T., AND WEEKS, M.S. Shared libraries in SunOS. In USENIX Conference Proceedings (Phoenix, AZ, 1987), pp. 131-145.
	9	GOLDBERG, I., AND WAGNER, D. Randomness and the netscape browser. Dr. Dobb's Journal (Jan. 1996).
	10	James Gosling , Bill Joy , Guy L. Steele, The Java Language Specification, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1996
	11	P. A. Jason , Philippe Janson, REMOVING THE DYNAMIC LINKER FROM THE SECURITY KERNEL OF A COMPUTING UTILITY, Massachusetts Institute of Technology, Cambridge, MA, 1974
	12	Patrick Lincoln , John M. Rushby, The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model, Proceedings of the 5th International Conference on Computer Aided Verification, p.292-304, June 28-July 01, 1993
	13	Robin Milner , Mads Tofte , Robert Harper, The definition of Standard ML, MIT Press, Cambridge, MA, 1990
	14	John C. Mitchell, Type systems for programming languages, Handbook of theoretical computer science (vol. B): formal models and semantics, MIT Press, Cambridge, MA, 1991
	15	Elliott I. Organick, The Multics System: An Examination of Its Structure, The MIT Press, 1972
	16	OWRE, S., SHANKAR, N., AND RUSHBY, J. M. UserGuide for the P VS Specification and Verification System. Computer Science Laboratory, SRI International, Menlo Park, CA, Feb. 1993. Three volumes: Language, System, and Prover Reference Manuals; A new edition for PVS Version 2 is expected in late 1996.
	17	A Formal Basis for Structured Multimedia Collaborations, Proceedings of the International Conference on Multimedia Computing and Systems, p.194, May 15-18, 1995
	18	Harald Rueß , Natarajan Shankar , Mandayam K. Srivas, Modular Verification of SRT Division, Proceedings of the 8th International Conference on Computer Aided Verification, p.123-134, August 03, 1996
	19	S. P. Miller , M. Srivas, Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods, Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques, p.2, April 05-08, 1995
	20	Bjarne Stroustrup, The design and evolution of C++, ACM Press/Addison-Wesley Publishing Co., New York, NY, 1995
	21	Niklaus Wirth, Programming in MODULA-2 (3rd corrected ed.), Springer-Verlag New York, Inc., New York, NY, 1985

CITED BY 18

	Stéphane Doyon , Mourad Debbabi, Verifying object initialization in the Java bytecode language, Proceedings of the 2000 ACM symposium on Applied computing, p.821-830, March 2000, Como, Italy
	Allen Goldberg, A specification of Java loading and bytecode verification, Proceedings of the 5th ACM conference on Computer and communications security, p.49-58, November 02-05, 1998, San Francisco, California, United States
	Li Gong , Marianne Mueller , Hemma Prafullchandra , Roland Schemers, Going beyond the sandbox: an overview of the new security architecture in the java^TM development Kit 1.2, Proceedings of the USENIX Symposium on Internet Technologies and Systems on USENIX Symposium on Internet Technologies and Systems, p.10-10, December 08-11, 1997, Monterey, California
	Philip W. L. Fong , Robert D. Cameron, Proof linking: an architecture for modular verification of dynamically-linked mobile code, ACM SIGSOFT Software Engineering Notes, v.23 n.6, p.222-230, Nov. 1998
	Sophia Drossopoulou , David Wragg , Susan Eisenbach, What is Java binary compatibility?, ACM SIGPLAN Notices, v.33 n.10, p.341-361, Oct. 1998
	Philip W. L. Fong , Robert D. Cameron, Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking, ACM Transactions on Software Engineering and Methodology (TOSEM), v.9 n.4, p.379-409, Oct. 2000
	Sheng Liang , Gilad Bracha, Dynamic class loading in the Java virtual machine, ACM SIGPLAN Notices, v.33 n.10, p.36-44, Oct. 1998
	Gleb Naumovich, A conservative algorithm for computing the flow of permissions in Java programs, ACM SIGSOFT Software Engineering Notes, v.27 n.4, July 2002
	Sarah Monisha Pulimood , Boumediene Belkhouche, A Mobile Computational model for Internet programming, Proceedings of the 42nd annual Southeast regional conference, April 02-03, 2004, Huntsville, Alabama
	Zhenyu Qian , Allen Goldberg , Alessandro Coglio, A formal specification of Java class loading, ACM SIGPLAN Notices, v.35 n.10, p.325-336, Oct. 2000
	Tobias Nipkow , David von Oheimb, Java_light is type-safe—definitely, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.161-170, January 19-21, 1998, San Diego, California, United States
	Neal Glew , Greg Morrisett, Type-safe linking and modular assembly language, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.250-261, January 20-22, 1999, San Antonio, Texas, United States
	Larry Koved , Marco Pistoia , Aaron Kershenbaum, Access rights analysis for Java, ACM SIGPLAN Notices, v.37 n.11, November 2002
	Stephen N. Freund , John C. Mitchell, A Type System for the Java Bytecode Language and Verifier, Journal of Automated Reasoning, v.30 n.3-4, p.271-321, 2003
	Algis Rudys , Dan S. Wallach, Termination in language-based systems, ACM Transactions on Information and System Security (TISSEC), v.5 n.2, p.138-168, May 2002
	Lujo Bauer , Andrew W. Appel , Edward W. Felten, Mechanisms for secure modular programming in Java, Software—Practice & Experience, v.33 n.5, p.461-480, 25 April 2003
	Godmar Back , Wilson C. Hsieh, The KaffeOS Java runtime system, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.4, p.583-630, July 2005
	Pieter H. Hartel , Luc Moreau, Formalizing the safety of Java, the Java virtual machine, and Java card, ACM Computing Surveys (CSUR), v.33 n.4, p.517-558, December 2001