Open AccessBook
Capability-Based Computer Systems
About:
The article was published on 1984-01-01 and is currently open access. It has received 509 citations till now. The article focuses on the topics: Computer network programming & Software system.read more
Citations
More filters
Posted Content
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle
Akram El-Korashy,Stelios Tsampas,Marco Patrignani,Dominique Devriese,Deepak Garg,Frank Piessens +5 more
TL;DR: This paper is the first to study the security of PAC compilers for partial programs formally and proves for a model of such a compiler that it is fully abstract, and implements the scheme for C on CHERI, and shows that the performance overhead of compiled code is roughly proportional to the number of cross-compilation-unit function calls.
Dissertation
Applying Digital Rights Management to Corporate Information Systems
TL;DR: A security policy model including both usage rights and related obligations is proposed, including a dedicated syntax and semantics to model both policy organisation, usage and obligations before paying attention on the “collaborative environment constraints”.
Journal ArticleDOI
Rack-Scale Capabilities: Fine-Grained Protection for Large-Scale Memories
Kirk Bresniker,Paolo Faraboschi,Avi Mendelson,Dejan Milojicic,Timothy Roscoe,Robert N. M. Watson +5 more
TL;DR: This work uses a memoryside capability enforcement processor that gates memory accesses through extended capabilities, enables finegrained access control beyond a single address space, and minimally disrupts the programming model.
Hardware microkernels - a novel method for constructing operating systems for heterogeneous multi-core platforms
David L. Andrews,Jason Agron +1 more
TL;DR: How operating system methods must change if they are to provide programmers with their familiar uniform virtual machine model across next generation heterogeneous manycores is explored, and it is observed that meeting this requirement may very well require a shift in the current hardware/software boundary.