Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,434,875 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
,
Alexandre 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
2009
2009
Know what you trust: Analyzing and designing trust policies with Scoll
Aod Fred Spiessens
,
den Ji Jerry Hartog
,
S. Etalle
2009
Corpus ID: 14467705
In Decentralized Trust Management (DTM) authorization decisions are made by multiple principals who can also delegate decisions…
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
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE