Authorization policies provide access control to the system resource. This paper proposes a formal modal logic approach for the specification and reasoning about authorizations. Especially we investigate and handle the situation where the security agent's knowledge is not specific and the decisions for accessing the system resource are to be made based on the agent's knowledge. We introduce modal logic to specify and reason about security policies, then translate the domain into an epistemic logic program. We also present a case study to demonstrate the proposed approach. This approach has an expressive power to describe a variety of complex security scenarios
In this paper, we make the point that the problems with logics in the BAN tradition are not with the...
Despite considerable advancements in the area of access control and authorization languages, cur-ren...
The Authorization Calculus is a modal logic with which to formally model systems that provide creden...
As a security mechanism, authorization or access control ensures that all accesses to the system res...
In this paper, we propose a formal logic approach to specify the system security policies and rules ...
Abstract. We propose a logic for specifying security policies at a very high level of abstraction. T...
In distributed environments, access control decisions depend on statements of multiple agents rather...
Abstract. Making correct access-control decisions is central to security, which in turn requires acc...
We present and study a Modal Access Control Logic (M-ACL) to specify and reason about access control...
peer reviewedWe present and study a Modal Access Control Logic (M-ACL) to specify and reason about a...
Despite considerable advancements in the area of access control and authorization languages, current...
Epistemic logic has previously been used to specify confidentiality security properties [1, 2]. In t...
Today's computer systems and applications are based on a globally internet worked infrastructure, co...
Despite considerable advancements in the area of access control and authorization languages, current...
In this paper, we propose a logic program based formulation that supports delegatable authorizations...
In this paper, we make the point that the problems with logics in the BAN tradition are not with the...
Despite considerable advancements in the area of access control and authorization languages, cur-ren...
The Authorization Calculus is a modal logic with which to formally model systems that provide creden...
As a security mechanism, authorization or access control ensures that all accesses to the system res...
In this paper, we propose a formal logic approach to specify the system security policies and rules ...
Abstract. We propose a logic for specifying security policies at a very high level of abstraction. T...
In distributed environments, access control decisions depend on statements of multiple agents rather...
Abstract. Making correct access-control decisions is central to security, which in turn requires acc...
We present and study a Modal Access Control Logic (M-ACL) to specify and reason about access control...
peer reviewedWe present and study a Modal Access Control Logic (M-ACL) to specify and reason about a...
Despite considerable advancements in the area of access control and authorization languages, current...
Epistemic logic has previously been used to specify confidentiality security properties [1, 2]. In t...
Today's computer systems and applications are based on a globally internet worked infrastructure, co...
Despite considerable advancements in the area of access control and authorization languages, current...
In this paper, we propose a logic program based formulation that supports delegatable authorizations...
In this paper, we make the point that the problems with logics in the BAN tradition are not with the...
Despite considerable advancements in the area of access control and authorization languages, cur-ren...
The Authorization Calculus is a modal logic with which to formally model systems that provide creden...