Technical report of "The Knowledge Base Paradigm Applied to Delegation Revocation"

by   Marcos Cramer, et al.

In ownership-based access control frameworks with the possibility of delegating permissions and administrative rights, delegation chains will form. There are different ways to treat delegation chains when revoking rights, which give rise to different revocation schemes. In this paper, we investigate the problem of delegation revocation from the perspective of the knowledge base paradigm. A knowledge base is a formal specification of domain knowledge in a rich formal language. Multiple forms of inference can be applied to this formal specification in order to solve various problems and tasks that arise in the domain. In other words, the paradigm proposes a strict separation of concerns between information and problem solving. The knowledge base that we use in this paper specifies the effects of the various revocation schemes. By applying different inferences to this knowledge base, we can solve the following tasks: to determine the state of the system after a certain delegation or revocation; to interactively simulate the progression of the system state through time; to determine whether a user has a certain permission or administrative right given a certain state of the system; to verify invariants of the system; and to determine which revocation schemes give rise to a certain specified set of desired outcomes.


page 1

page 2

page 3

page 4


TeKnowbase: Towards Construction of a Knowledge-base of Technical Concepts

In this paper, we describe the construction of TeKnowbase, a knowledge-b...

The Choice of Knowledge Base in Automated Claim Checking

Automated claim checking is the task of determining the veracity of a cl...

A topic-aware graph neural network model for knowledge base updating

The open domain knowledge base is very important. It is usually extracte...

Towards Ranking Schemas by Focus

The main goal of this paper is to evaluate knowledge base schemas, model...

Artefact Retrieval: Overview of NLP Models with Knowledge Base Access

Many NLP models gain performance by having access to a knowledge base. A...

Maintenance in Probabilistic Knowledge-Based Systems

Recent developments using directed acyclical graphs (i.e., influence dia...

Nonmonotonic Inferences with Qualitative Conditionals based on Preferred Structures on Worlds

A conditional knowledge base R is a set of conditionals of the form "If ...

Please sign up or login with your details

Forgot password? Click here to reset