This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Language Extension for Controlling Access to Shared Data
December 1976 (vol. 2 no. 4)
pp. 277-285
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.
Index Terms:
type checking, Access control, capabilities, data types, programming languages
Citation:
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, Dec. 1976, doi:10.1109/TSE.1976.233833
Usage of this product signifies your acceptance of the Terms of Use.