article

Free access

Provably-secure programming languages for remote evaluation

Author:

Dennis VolpanoAuthors Info & Claims

ACM SIGPLAN Notices, Volume 32, Issue 1

Pages 117 - 119

https://doi.org/10.1145/251595.254091

Published: 01 January 1997 Publication History

PDF eReader

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

View all

Myers AAppel AAiken A(1999)JFlowProceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/292540.292561(228-241)Online publication date: 1-Jan-1999
https://dl.acm.org/doi/10.1145/292540.292561
Myers ALiskov B(1999)Protecting privacy in a decentralized environmentProceedings DARPA Information Survivability Conference and Exposition. DISCEX'0010.1109/DISCEX.2000.825031(266-277)Online publication date: 1999
https://doi.org/10.1109/DISCEX.2000.825031
Myers ALiskov B(1998)Complete, safe information flow with decentralized labelsProceedings. 1998 IEEE Symposium on Security and Privacy (Cat. No.98CB36186)10.1109/SECPRI.1998.674834(186-197)Online publication date: 1998
https://doi.org/10.1109/SECPRI.1998.674834
Show More Cited By

Index Terms

Provably-secure programming languages for remote evaluation
1. Theory of computation
  1. Logic
  2. Semantics and reasoning

Recommendations

Definitional Interpreters for Higher-Order Programming Languages

Higher-order programming languages (i.e., languages in which procedures or labels can occur as values) are usually defined by interpreters that are themselves written in a programming language based on the lambda calculus (i.e., an applicative language ...
Semantics of programming languages

A semantic specification of a programming language can be relevant for programmers to understand software written in the language, as well as for the implementers of a language to understand the intentions of its designers. In the early 1980s, Jan ...
Programming Languages: Toward a general processor for programming languages

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 32, Issue 1

Jan. 1997

107 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/251595

Editor:
A. Michael Berman
Rowan College of New Jersey, Glassboro

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 January 1997

Published in SIGPLAN Volume 32, Issue 1

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
248
Total Downloads

Downloads (Last 12 months)42
Downloads (Last 6 weeks)9

Reflects downloads up to 14 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Myers AAppel AAiken A(1999)JFlowProceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/292540.292561(228-241)Online publication date: 1-Jan-1999
https://dl.acm.org/doi/10.1145/292540.292561
Myers ALiskov B(1999)Protecting privacy in a decentralized environmentProceedings DARPA Information Survivability Conference and Exposition. DISCEX'0010.1109/DISCEX.2000.825031(266-277)Online publication date: 1999
https://doi.org/10.1109/DISCEX.2000.825031
Myers ALiskov B(1998)Complete, safe information flow with decentralized labelsProceedings. 1998 IEEE Symposium on Security and Privacy (Cat. No.98CB36186)10.1109/SECPRI.1998.674834(186-197)Online publication date: 1998
https://doi.org/10.1109/SECPRI.1998.674834
Myers ALiskov B(1997)A decentralized model for information flow controlACM SIGOPS Operating Systems Review10.1145/269005.26666931:5(129-142)Online publication date: 1-Oct-1997
https://dl.acm.org/doi/10.1145/269005.266669
Myers ALiskov BBanâtre MLevy H(1997)A decentralized model for information flow controlProceedings of the sixteenth ACM symposium on Operating systems principles10.1145/268998.266669(129-142)Online publication date: 1-Oct-1997
https://dl.acm.org/doi/10.1145/268998.266669

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Index Terms

Recommendations

Definitional Interpreters for Higher-Order Programming Languages

Semantics of programming languages

Programming Languages: Toward a general processor for programming languages

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations