Segmentation and the Design of Multiprogrammed Computer Systems
Journal of the ACM (JACM)
Program and Addressing Structure in a Time-Sharing Environment
Journal of the ACM (JACM)
The Multics virtual memory: concepts and design
Communications of the ACM
A model and stack implementation of multiple environments
Communications of the ACM
Virtual memory, processes, and sharing in MULTICS
Communications of the ACM
Programming semantics for multiprogrammed computations
Communications of the ACM
Time Sharing Computer Systems
Performance of the GE-645 associative memory while Multics is in operation
Proceedings of the SIGOPS workshop on System performance evaluation
TRAFFIC CONTROL IN A MULTIPLEXED COMPUTER
TRAFFIC CONTROL IN A MULTIPLEXED COMPUTER
Memory structures for interactive computers
Memory structures for interactive computers
Computer system organization: The B5700/B6700 series (ACM monograph series)
Computer system organization: The B5700/B6700 series (ACM monograph series)
The multics system: an examination of its structure
The multics system: an examination of its structure
ACM SIGPLAN Notices
The complexity of using forwarding addresses for decentralized object finding
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
Communications of the ACM
A Fast Translation Method for Paging on Top of Segmentation
IEEE Transactions on Computers
Computer
Lightweight shared objects in a 64-bit operating system
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Architecture support for single address space operating systems
ASPLOS V Proceedings of the fifth international conference on Architectural support for programming languages and operating systems
A calculus for access control in distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reasoning about naming systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Making distributed multimedia systems secure: the switchboard approach
ACM SIGOPS Operating Systems Review
Hardware support for fast capability-based addressing
ASPLOS VI Proceedings of the sixth international conference on Architectural support for programming languages and operating systems
Sharing and protection in a single-address-space operating system
ACM Transactions on Computer Systems (TOCS) - Special issue on computer architecture
Performance effects of architectural complexity in the Intel 432
ACM Transactions on Computer Systems (TOCS)
Extensible security architectures for Java
Proceedings of the sixteenth ACM symposium on Operating systems principles
On the encipherment of search trees and random access files
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Distributed transactions for reliable systems
Proceedings of the tenth ACM symposium on Operating systems principles
Dynamic binding of separately compiled objects under program control
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
An object oriented architecture
ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
Tagged architecture: how compelling are its advantages?
ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
Fault Tolerant Operating Systems
ACM Computing Surveys (CSUR)
Operating System Structures to Support Security and Reliable Software
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Encryption and Secure Computer Networks
ACM Computing Surveys (CSUR)
The COSIE communications subsystem: support for distributed office applications
ACM Transactions on Information Systems (TOIS)
A Fortran programming methodology based on data abstraction
Communications of the ACM
A model for and discussion of multi-interpreter systems
Communications of the ACM
A language extension for expressing constraints on data access
Communications of the ACM
Reflections on an operating system design
Communications of the ACM
Role-based access control and the access control matrix
ACM SIGOPS Operating Systems Review
Concurrent Error Detection Using Watchdog Processors-A Survey
IEEE Transactions on Computers
A hardware implementation of capability-based addressing
ACM SIGARCH Computer Architecture News
An Analysis of Access Control Models
ACISP '99 Proceedings of the 4th Australasian Conference on Information Security and Privacy
ACISP '02 Proceedings of the 7th Australian Conference on Information Security and Privacy
A Calculus for Access Control in Distributed Systems
CRYPTO '91 Proceedings of the 11th Annual International Cryptology Conference on Advances in Cryptology
Fresh Breeze: a multiprocessor chip architecture guided by modular programming principles
ACM SIGARCH Computer Architecture News
On the semantic structure of information - A proposal of the abstract storage architecture
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
Supporting ada memory management in the iAPX-432
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
An IPC protocol and its hardware realization for a high-speed distributed multicomputer system
ISCA '81 Proceedings of the 8th annual symposium on Computer Architecture
Security and protection of data in the IBM System/38
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
Storage concepts in a software-reliability-directed computer architecture
ISCA '78 Proceedings of the 5th annual symposium on Computer architecture
An approach to a fault-tolerant system architecture
ISCA '78 Proceedings of the 5th annual symposium on Computer architecture
Design and principles of a fault tolerant system
ICSE '78 Proceedings of the 3rd international conference on Software engineering
An extensible file system for hydra
ICSE '78 Proceedings of the 3rd international conference on Software engineering
The Lattice Security Model In A Public Computing Network
ACM '78 Proceedings of the 1978 annual conference
Software reliability and design: A survey
DAC '76 Proceedings of the 13th Design Automation Conference
Generic functions by nonstandard name scoping in APL
APL '81 Proceedings of the international conference on APL
Dynamic linking and environment initialization in a multi-domain process.
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
A multi-microprocessor computer system architecture
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
Overview of the Hydra Operating System development
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
Protection in the Hydra Operating System
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
The Roscoe distributed operating system
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
StarOS, a multiprocessor operating system for the support of task forces
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
Variable-length capabilities as a solution to the small-object problem
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
iMAX: A multiprocessor operating system for an object-based computer
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
UIDs as internal names in a distributed file system
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
NIL: An integrated language and system for distributed programming
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
How to design a system in which modules can be changed on the fly
ICSE '76 Proceedings of the 2nd international conference on Software engineering
The design of an object oriented architecture
ISCA '84 Proceedings of the 11th annual international symposium on Computer architecture
On attaining reliable software for a secure operating system
Proceedings of the international conference on Reliable software
SODS/OS: a distributed operating system for the IBM series/1
ACM SIGOPS Operating Systems Review
A hardware implementation of capability-based addressing
ACM SIGOPS Operating Systems Review
A technique for passing reference parameters in an information-hiding architecture
ACM SIGARCH Computer Architecture News
Journal of Computer Security - IFIP 2000
IWOOOS '95 Proceedings of the 4th International Workshop on Object-Orientation in Operating Systems
Improving the reliability of commodity operating systems
SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
Ada packages and distributed systems
ACM SIGPLAN Notices
A unified security framework for networked applications
Proceedings of the 2003 ACM symposium on Applied computing
iWatcher: Efficient Architectural Support for Software Debugging
Proceedings of the 31st annual international symposium on Computer architecture
A computer system supporting data abstraction
ACM SIGOPS Operating Systems Review
XOS: an operating system for the X-tree architecture
ACM SIGOPS Operating Systems Review
A computer system supporting data abstraction
ACM SIGOPS Operating Systems Review
Efficient local checkpointing for software fault tolerance
ACM SIGOPS Operating Systems Review
Improving the reliability of commodity operating systems
ACM Transactions on Computer Systems (TOCS)
Link Layer Security for SAHN Protocols
PERCOMW '05 Proceedings of the Third IEEE International Conference on Pervasive Computing and Communications Workshops
Efficient and flexible architectural support for dynamic monitoring
ACM Transactions on Architecture and Code Optimization (TACO)
Encyclopedia of Computer Science
Phantom: an interpreted language for distributed programming
COOTS'95 Proceedings of the USENIX Conference on Object-Oriented Technologies on USENIX Conference on Object-Oriented Technologies (COOTS)
Formal Models of Capability-Based Protection Systems
IEEE Transactions on Computers
Watchdog Processors and Structural Integrity Checking
IEEE Transactions on Computers
Capability Based Tagged Architectures
IEEE Transactions on Computers
Design of HM2p A Hierarchical Multimicroprocessor for General-Purpose Applications
IEEE Transactions on Computers
Design of a high level language machine
ACM SIGARCH Computer Architecture News
Security in Distributed Applications
Advances in Software Engineering
Scheme for invalidating references to freed storage
IBM Journal of Research and Development
Communications of the ACM
Software development for reliable software systems
Journal of Systems and Software
BottleCap: a credential manager for capability systems
Proceedings of the seventh ACM workshop on Scalable trusted computing
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security
Compiling Fresh Breeze Codelets
Proceedings of Programming Models and Applications on Multicores and Manycores
| Hi-index | 48.33 |
Various addressing schemes making use of segment tables are examined. The inadequacies of these schemes when dealing with shared addresses are explained. These inadequacies are traced to the lack of an efficient absolute address for objects in these systems. The direct use of a capability as an address is shown to overcome these difficulties because it provides the needed absolute address. Implementation of capability-based addressing is discussed. It is predicted that the use of tags to identify capabilities will dominate. A hardware address translation scheme which never requires the modification of the representation of capabilities is suggested. The scheme uses a main memory hash table for obtaining a segment's location in main memory given its unique code. The hash table is avoided for recently accessed segments by means of a set of associative registers. A computer using capability-based addressing may be substantially superior to present systems on the basis of protection, simplicity of programming conventions, and efficient implementation.