Language Issues in Mobile Program Security

Abstract

Many programming languages have been developed and implemented for mobile code environments. They are typically quite expressive. But while security is important aspect of any mobile code technology, it is often treated after the fundamental design is complete, in ad hoc ways. In the end, it is unclear what security guarantees can be made for the system. We argue that mobile programming languages should be designed around certain security properties that hold for all well-formed programs. This requires a better understanding of the relationship between programming language design and security. Appropriate security properties must be identified. Some of these properties and related issues are explored.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1998
Accession Number
ADA484462

Entities

People

  • Dennis Volpano
  • Geoffrey B. Smith

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Algorithms
  • Computer Programming
  • Computer Science
  • Computers
  • Computing System Architectures
  • Cybersecurity
  • Distributed Computing
  • Language
  • Multithreading
  • Object Code
  • Operating Systems
  • Programming Languages
  • Security
  • Software Development
  • Virtual Machines

Fields of Study

  • Computer science

Readers

  • Cybersecurity.
  • Database Systems and Applications
  • Distributed Systems and Data Platform Development