|
 ABSTRACT
Controlled sharing of information is needed and desirable for many applications and is supported in operating systems by access control mechanisms. This paper shows how to extend programming languages to provide controlled sharing. The extension permits expression of access constraints on shared data. Access constraints can apply both to simple objects, and to objects that are components of larger objects, such as bank account records in a bank's data base. The constraints are stated declaratively, and can be enforced by static checking similar to type checking. The approach can be used to extend any strongly-typed language, but is particularly suitable for extending languages that support the notion of abstract data types.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
 |
1
|
Allen L. Ambler , Donald I. Good , James C. Browne , Wilhelm F. Burger , Richard M. Cohen , Charles G. Hoch , Robert E. Wells, Gypsy: A language for specification and implementation of verifiable programs, Proceedings of an ACM conference on Language design for reliable software, p.1-10, March 28-30, 1977, Raleigh, North Carolina
|
| |
2
|
Dahl, O.J., and Hoare, C.A.R. Hierarchical Program Structures. Structured Programming (Dahl, Dijkstra, and Hoare, Eds.), Academic Press 1972.
|
| |
3
|
|
| |
4
|
|
| |
5
|
|
| |
6
|
Jones, A.K., and Wulf, W.A. Toward the Design of a Secure System. Software Practice and Experience 5 (1975), 321-336.
|
| |
7
|
Jones, A.K., and Liskov, B.H. A Language Extension for Controlling Access to Shared Data. 1EEE Trans. on Software Engineering SE-2, 4 (December 1976), 277-285.
|
| |
8
|
Lampson, B.W. Protection. Proc. of the Fifth Annual Princeton Conference on Information Sciences and Systems, Princeton University, 197 l, 437-443.
|
| |
9
|
|
| |
10
|
|
| |
11
|
Neumann, P.G., Fabry, R.S., Levitt, K.N., Robinson, L., and Wensley, J.H. On the Design of a Provably Secure Operating System. International Workshop on Protection in Operating Systems, IRIA, Paris, August 1974, 161-175.
|
| |
12
|
|
| |
13
|
Saltzer, J., and Schroeder, M. Protection of Information in Computer Systems. Proc. of the IEEE 63, 9 (September 1975), 1278-1308.
|
| |
14
|
|
| |
15
|
Wirth, N. The Programming Language PASCAL. Acta lnformatica 1, 1971,335-363.
|
| |
16
|
W. Wulf , E. Cohen , W. Corwin , A. Jones , R. Levin , C. Pierson , F. Pollack, HYDRA: the kernel of a multiprocessor operating system, Communications of the ACM, v.17 n.6, p.337-345, June 1974
[doi> 10.1145/355616.364017]
|
| |
17
|
Wulf, W.A., London, R.L., and Shaw, M. An introduction to the construction and verification of Alphard programs. IEEE Trans. Software Eng. SE-2, 4 (Dec. 1976), 253-265.
|
CITED BY 18
|
|
|
|
|
Donald I. Good , Richard M. Cohen , Lawrence W. Hunter, A Report On The Development Of Gypsy, Proceedings of the 1978 annual conference, p.116-122, December 04-06, 1978, Washington, D.C., United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Mark Evered , Serge Bögeholz, A case study in access control requirements for a Health Information System, Proceedings of the second workshop on Australasian information security, Data Mining and Web Intelligence, and Software Internationalisation, p.53-61, January 01, 2004, Dunedin, New Zealand
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf
D.4