A language extension for controlling access to shared data

Authors:
Anita K. Jones;Barbara H. Liskov
Affiliations:
-;-
Venue:
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Year:
1976

Citing 0
Cited 5

Extensible security architectures for Java

Proceedings of the sixteenth ACM symposium on Operating systems principles
A facility for defining and manipulating generalized data structures

ACM Transactions on Database Systems (TODS)
Data Security

ACM Computing Surveys (CSUR)
Locality in software systems

POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A study of protection in programming languages

Proceedings of an ACM conference on Language design for reliable software

Quantified Score

Hi-index	0.00

Visualization

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 defined in a way that enables compile time checking of access control.