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
ASCII Text
x 
 
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.
 
 
BibTex
x
 
@article{ 10.1109/TSE.1976.233833,
author = {A.K. Jones and B.H. Liskov},
title = {A Language Extension for Controlling Access to Shared Data},
journal ={IEEE Transactions on Software Engineering},
volume = {2},
number = {4},
issn = {0098-5589},
year = {1976},
pages = {277-285},
doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1976.233833},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - JOUR
JO - IEEE Transactions on Software Engineering
TI - A Language Extension for Controlling Access to Shared Data
IS - 4
SN - 0098-5589
SP277
EP285
EPD - 277-285
A1 - A.K. Jones,
A1 - B.H. Liskov,
PY - 1976
KW - type checking
KW - Access control
KW - capabilities
KW - data types
KW - programming languages
VL - 2
JA - IEEE Transactions on Software Engineering
ER -
 
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.