Issue No.04 - December (1976 vol.2)
A.K. Jones , Department of Computer Science, Carnegie-Mellon University
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.
type checking, Access control, capabilities, data types, programming languages
A.K. Jones, B.H. Liskov, "A Language Extension for Controlling Access to Shared Data", IEEE Transactions on Software Engineering, vol.2, no. 4, pp. 277-285, December 1976, doi:10.1109/TSE.1976.233833