A Language Extension for Controlling Access to Shared Data

1 December 1976

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering

Vol. SE-2 (4) , 277-285
https://doi.org/10.1109/tse.1976.233833

Abstract

Controlled sharing of information is needed 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 illustrates how an access-control facility could be incorporated in a programming language. The mechanism described is suitable for incorporation in object-oriented languages that permit the definition of abstract data types, and is defmed in a way that enables compile-time checking of access control.

Keywords

This publication has 5 references indexed in Scilit:

An Access Control Facility for Programming Languages
Published by Defense Technical Information Center (DTIC) ,1976
Towards the design of secure systems
Software: Practice and Experience, 1975
HYDRA
Communications of the ACM, 1974
The programming language pascal
Acta Informatica, 1971
Programming semantics for multiprogrammed computations
Communications of the ACM, 1966