Single-user capabilities in interprocess communication
ACM SIGOPS Operating Systems Review
ACM Computing Surveys (CSUR)
A hardware implementation of capability-based addressing
ACM SIGARCH Computer Architecture News
A new protection architecture for the Cambridge capability computer
ACM SIGOPS Operating Systems Review
ACM SIGOPS Operating Systems Review
The cost of using the CAP computer's protection facilities
ACM SIGOPS Operating Systems Review
An asynchronous garbage collector for the CAP filing system
ACM SIGOPS Operating Systems Review
On the semantic structure of information - A proposal of the abstract storage architecture
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
Architectural implications of abstract data type implementation
ISCA '79 Proceedings of the 6th annual symposium on Computer architecture
ICSE '78 Proceedings of the 3rd international conference on Software engineering
APL in operating systems research
APL '81 Proceedings of the international conference on APL
SOSP '77 Proceedings of the sixth 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
In support of domain structure for operating systems
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
Object oriented operating systems: An emerging design methodology
ACM '82 Proceedings of the ACM '82 conference
On the duality of operating system structures
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
A case study in access control requirements for a Health Information System
ACSW Frontiers '04 Proceedings of the second workshop on Australasian information security, Data Mining and Web Intelligence, and Software Internationalisation - Volume 32
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
ACM SIGOPS Operating Systems Review
A computer system supporting data abstraction
ACM SIGOPS Operating Systems Review
Towards trustworthy computing systems: taking microkernels to the next level
ACM SIGOPS Operating Systems Review
Formal Models of Capability-Based Protection Systems
IEEE Transactions on Computers
Capability Based Tagged Architectures
IEEE Transactions on Computers
Kernel design for isolation and assurance of physical memory
Proceedings of the 1st workshop on Isolation and integration in embedded systems
Memory-Centric Security Architecture
Transactions on High-Performance Embedded Architectures and Compilers I
Memory-centric security architecture
HiPEAC'05 Proceedings of the First international conference on High Performance Embedded Architectures and Compilers
Proceedings of the 2012 workshop on New security paradigms
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles
ACM SIGOPS 24th Symposium on Operating Systems Principles
From L3 to seL4 what have we learnt in 20 years of L4 microkernels?
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles
| Hi-index | 0.01 |
This paper gives an outline of the architecture of the CAP computer as it concerns capability-based protection and then gives an account of how protected procedures are used in the construction of an operating system.