The microarchitecture of a capability-based computer
MICRO 19 Proceedings of the 19th annual workshop on Microprogramming
Some comments on the implementation of capabilities
Australian Computer Journal
On the Identification of Covert Storage Channels in Secure Systems
IEEE Transactions on Software Engineering
The Mungi single-address-space operating system
Software—Practice & Experience - Special issue on multiprocessor operating systems
A note on the confinement problem
Communications of the ACM
Programming semantics for multiprogrammed computations
Communications of the ACM
A hardware implementation of capability-based addressing
ACM SIGARCH Computer Architecture News
Protection in the Hydra Operating System
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
Capability architecture revisited
ACM SIGOPS Operating Systems Review
Protection domain extensions in Mungi
IWOOOS '96 Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96)
Design, implementation and performance of protection in the mungi single address space operating system
Information leakage and capability forgery in a capability-based operating system kernel
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I
| Hi-index | 0.00 |
The Password-Capability System is a compact operating system with an access control mechanism based on password-capabilities. We show that the system is able to support several security paradigms which solve real-world problems not adequately addressed by conventional operating systems such as Windows and Unix. We show also that these paradigms are only effective if the system is free from covert channels. To this end, we carry out a covert channel analysis of the system and outline the elimination of all channels found.