A temporal defeasible logic for handling access control policies

Sabri, Khair Eddin; Obeid, Nadim

doi:10.1007/s10489-015-0692-8

Cited by 17 publications

(6 citation statements)

References 42 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Constraint logic programming is used by (Barker & Stuckey 2007) to represent an extension to the RBAC model which allows defining access policies that may include features, like denials of access and temporal authorizations. Furthermore, (Sabri & Obeid 2016) develop a theory based on defeasible logic to handle conflicting policies. However, this language is not used for specifying and enforcing constraints.…”

Section: Related Work and Discussionmentioning

confidence: 99%

An Algebraic Model to Analyze Role-Based Access Control Policies

Sabri¹

2018

MAS

Self Cite

View full text Add to dashboard Cite

Role-Based Access Control (RBAC) is a well known access control model used to preserve the confidentiality of information by specifying the ability of users to access information based on their roles. Usually these policies would be manipulated by combining or comparing them especially when defined in a distributed way. Furthermore, these policies should satisfy predefined authorization constraints. In this paper, we present an algebraic model for specifying and analyzing RBAC policies. The proposed model enables us to specify policies and verify the satisfaction of predefined authorization constraints. Furthermore, the model allows us to combine policies and analyze their effect on predefined constraints. The model consists of few operators that give simplicity in specifying polices. We present a prototype tool used for facilitating the analysis.

show abstract

Section: Related Work and Discussionmentioning

confidence: 99%

An Algebraic Model to Analyze Role-Based Access Control Policies

Sabri¹

2018

MAS

Self Cite

View full text Add to dashboard Cite

show abstract

“…The framework is used to generate preference sets for users, which is a set of active rules for each user. Defeasible Logic DL [16] [22] had approved to be one of the famous logic tools that are successful to characterize contextual reasoning; it has a nonmonotonic relation between the premises and their consequences which is an effective way of formalizing the dynamic nature of ubiquities computing. Several studies succeeded to build models that could reason in the shade of contextual information based on DL [19] [33] [34].…”

Section: Related Studiesmentioning

confidence: 99%

“…Let P(1..i) denote the initial part of the sequence P n of length i where i ≤ n. Then a conclusion, proved subsequently [16], could be either:…”

Section: A Concern Level Proofmentioning

confidence: 99%

A Defeasible Logic-based Framework for Contextualizing Deployed Applications

Al-Anbaki¹,

Obeid²,

Eddin³

2019

IJACSA

Self Cite

View full text Add to dashboard Cite

In human to human communication, context increases the ability to convey ideas. However, in human to application and application to application communication, this property is difficult to attain. Context-awareness becomes an emergent need to achieve the goal of delivering more user-centric personalized services, especially in ubiquitous environments. However, there is no agreed-upon generic framework that can be reused by deployed applications to support context-awareness. In this paper, a defeasible logic-based framework for contextawareness is proposed that can enhance the functionality of any deployed application. The nonmonotonic nature of defeasible logic has the capability of attaining justifiable decisions in dynamic environments. Classical defeasible logic is extended by metarules to increase its expressiveness power, facilitate its representation of complex multi-context systems, and permit distributed reasoning. The framework is able to produce justified decisions depending on both the basic functionality of the system that is itself promoted by contextual knowledge and any crosscutting concerns that might be added by different authorities or due to further improvements to the system. Active concerns that are triggered at certain contexts are encapsulated in separate defeasible theories. A proof theory is defined along with a study of its formal properties. The framework is applied to a motivating scenario to approve its feasibility and the conclusions are analyzed using argumentation as an approach of reasoning.

show abstract

“…There have been several other attempts to enable agents to reason over various kinds of policies. However, these involve reasoning over access control policies only [7,17,1] and a few utilize ASP as a reasoning tool for this purpose [3,4]. Access control policies are more restrictive than the kinds of policies an agent using AOPL can reason over.…”

Section: Introductionmentioning

confidence: 99%

APIA: An Architecture for Policy-Aware Intentional Agents

Meyer

Inclezan

2021

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

This paper introduces the APIA architecture for policy-aware intentional agents. These agents, acting in changing environments, are driven by intentions and yet abide by domain-relevant policies. This work leverages the AIA architecture for intention-driven intelligent agents by Blount, Gelfond, and Balduccini. It expands AIA with notions of policy compliance for authorization and obligation policies specified in the language AOPL by Gelfond and Lobo. APIA introduces various agent behavior modes, corresponding to different levels of adherence to policies. APIA reasoning tasks are reduced to computing answer sets using the CLINGO solver and its Python API.

show abstract

A temporal defeasible logic for handling access control policies

Cited by 17 publications

References 42 publications

An Algebraic Model to Analyze Role-Based Access Control Policies

An Algebraic Model to Analyze Role-Based Access Control Policies

A Defeasible Logic-based Framework for Contextualizing Deployed Applications

APIA: An Architecture for Policy-Aware Intentional Agents

Contact Info

Product

Resources

About