Provably-Secure Programming Languages for Remote Evaluation

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1996
Accession Number
ADA487344

Entities

People

  • Dennis Volpano

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Computer Languages
  • Computer Programming
  • Computer Science
  • Computers
  • Cybersecurity
  • Formal Languages
  • Internet
  • Kernels (Operating System)
  • Language
  • Procedural Programming Language
  • Programming Languages
  • Risk
  • Security
  • Test And Evaluation
  • World Wide Web

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Aviation Safety Risk Assessment.
  • Database Systems and Applications