Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,887,573 papers from all fields of science
Search
Sign In
Create Free Account
Object-capability model
Known as:
Object-capability
, Object capability model
, Object capability
Expand
The object-capability model is a computer security model. A capability describes a transferable right to perform one (or more) operations on a given…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
27 relations
Access control
Actor model
Ambient authority
Assignment (computer science)
Expand
Broader (1)
Computer access control
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Sound Invariant Checking Using Type Modifiers and Object Capabilities
Isaac Oscar Gariano
,
M. Servetto
,
A. Potanin
arXiv.org
2019
Corpus ID: 67856103
In this paper we use pre existing language support for type modifiers and object capabilities to enable a system for sound…
Expand
2019
2019
Object-Capability as a Means of Permission and Authority in Software Systems
Jorn Koepe
arXiv.org
2019
Corpus ID: 196831850
The object-capability model is a security measure that consists in encoding access rights in individual objects to restrict its…
Expand
2016
2016
Abstract Data Types in Object-Capability Systems
J. Noble
,
S. Drossopoulou
,
Mark S. Miller
,
Toby C. Murray
,
A. Potanin
2016
Corpus ID: 39818335
Data Types in Object-Capability Systems James Noble1, Sophia Drossopoulou2, Mark S. Miller3, Toby Murray4, Alex Potanin1 Victoria…
Expand
2016
2016
Object Capabilities and Lightweight Affinity in Scala: Implementation, Formalization, and Soundness
Philipp Haller
,
A. Loiko
arXiv.org
2016
Corpus ID: 1330335
Aliasing is a known source of challenges in the context of imperative object-oriented languages, which have led to important…
Expand
2016
2016
Capability Safe Reflection for the Wyvern Language
E. Wang
,
Jonathan Aldrich
2016
Corpus ID: 2215107
Reflection allows a program to examine and even modify itself, but its power can lead to violations of encapsulation and even…
Expand
2013
2013
Towards Capability Policy Specification and Verification
S. Drossopoulou
,
James Noble
2013
Corpus ID: 17008057
The object-capability model is a de-facto industry standard widely adopted for the implementation of security policies for web…
Expand
2013
2013
The Need for Capability Policies Position Paper
S. Drossopoulou
,
James Noble Victoria
2013
Corpus ID: 8019512
The object-capability model is one of the industry standards adopted for the implementation of security policies for web-based…
Expand
2011
2011
Analysing Object-Capability Patterns With Mur φ Deian
S. Mitchell
2011
Corpus ID: 8660789
Object Capability (OCap) patterns can be used to enforce the principle of least authority. However, despite the popularity and…
Expand
2008
2008
The Newspeak Programming Platform Gilad Bracha Peter Ahe Vassili Bykov Yaron Kashai Eliot Miranda Cadence
Gilad Bracha
,
P. Ahé
,
V. Bykov
,
Y. Kashai
,
E. Miranda
2008
Corpus ID: 7058043
Cadence is developing a high productivity development platform based around the Newspeak programming language. Newspeak supports…
Expand
2006
2006
How Emily Tamed the Caml Marc Stiegler and Mark Miller Hewlett-Packard Laboratories
M. Stiegler
,
Mark S. Miller
2006
Corpus ID: 12315228
security, programming, performance How does one make a program breach resistant? One promising approach is to apply the Principle…
Expand