CONDITIONAL CAPABILITIES

被引：3

作者：

EKANADHAM, K

BERNSTEIN, AJ

机构：

[1] Department of Computer Science, State University of New York, Stony Brook

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1979年 / 5卷 / 05期

关键词：

capabilities; conditional capabilities; Index Terns-Access control; keys; locs; operating system; protection;

D O I：

10.1109/TSE.1979.230184

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Protection in capability-based operating systems is considered. The concept of a conditional capability, which is a generalization of a conventional capability, is proposed. The conditional capability can only be exercised when certain conditions relating to the context of its use are satisfied. It is shown that such capabilities form a basis upon which features such as domains of protection, revocation, and type extension can be built. The implementation of these features can be isolated into separe modules thus leaving the basic protection module uncluttered and simplifying the overall structure of the system. Copyright © 1979 by The Institute of Electrical and Electronics Engineers, Inc.

引用

页码：458 / 464

页数：7

共 14 条

[1]

Bernstein A.J., Siegel P., A computer architecture for level structured systems, IEEE Trans. Comput., C-24, (1975)

[2]

Cohen E., Jefferson D., Protection in the Hydra operating system, Proc. 5th ACM Symp. Operating Systems Principles, (1975)

[3]

Dijkstra E.W., The structure of the THE multi-programming system, Commun. Ass. Comput. Mach., 11, (1968)

[4]

Dennis J.B., Van Horn E.C., Programming semantics for multi-programmed computations, Commun. Ass. Comput. Mach., 9, (1966)

[5]

Ekanadham K., Bernstein A.J., Level structures-A view point, Dept. Comput. Sci., State Univ. of New York at Stony Brook, Tech. Rep. 59, (1976)

[6]

Ekanadham K., Context approach to protection

[7]

Fabry R.S., Capability-based addressing, Commun. Ass. Comput. Mach., 19, (1974)

[8]

Feustel E.A., On the advantages of tagged architecture, IEEE Trans. Comput., C-22, (1973)

[9]

Jones A.K., Protection in programmed systems

[10]

Lampson B.W., Protection

← 1 2 →