An Access Control Facility for Programming Languages

Abstract

Controlled sharing of information is needed and desirable for many applications. Access control mechanisms exist in operating systems to provide such controlled sharing. However, programming languages currently do not support such a facility. This paper argues that to enhance software reliability programming languages should support controlled sharing of information; the paper illustrates how such an access control facility could be incorporated in a programming language. The mechanism described is suitable for incorporation in object-oriented languages which permit the definition of abstract data types; it is defined in such a way as to enable compile time checking of access control.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 1976
Accession Number
ADA027845

Entities

People

  • Anita K. Jones
  • Barbara H. Liskov

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Computer Access Control
  • Computer Programming
  • Computer Science
  • Computers
  • Content Addressable Memory
  • Databases
  • Language
  • Operating Systems
  • Programming Languages
  • Reliability
  • Semantic Models

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics
  • Enterprise Information Systems Architecture and Joint Command Capability Interoperability Support.