Provably-secure programming languages for remote evaluation

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Provably-secure programming languages for remote evaluation

Full text

Pdf (215 KB)

Source

ACM SIGPLAN Notices archive
Volume 32 , Issue 1 (January 1997) table of contents

Pages: 117 - 119

Year of Publication: 1997

ISSN:0362-1340

Author

Dennis Volpano

Naval Postgraduate School, Monterey

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 12, Citation Count: 2

Additional Information:

abstract cited by index terms collaborative colleagues

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/251595.254091 What is a DOI?

ABSTRACT

Remote evaluation and dynamically-extensible systems pose serious safety and security risks. Programming language design has a major role in overcoming some of these risks. Important research areas include designing suitable languages for remote evaluation, identifying appropriate security and safety properties for them, and developing provably-sound logics for reasoning about the properties in the context of separate compilation and dynamic linking.

CITED BY 2

	Andrew C. Myers , Barbara Liskov, A decentralized model for information flow control, ACM SIGOPS Operating Systems Review, v.31 n.5, p.129-142, Dec. 1997
	Andrew C. Myers, JFlow: practical mostly-static information flow control, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.228-241, January 20-22, 1999, San Antonio, Texas, United States