A propositional logic for access control policy in distributed systems

Authors:
Mirosław Kurkowski;Jerzy Pejaś
Affiliations:
Institute of Mathematics & Computer Science, Pedagogical University of Czestochowa, Al. Armii Krajowej 13/15, 42-200 Czestochowa, Poland;Faculty of Computer Science & Information Systems, Department of Programming Techniques, Technical University of Szczecin, 49, Zolnierska st., 71-210 Szczecin, Poland
Venue:
Artificial intelligence and security in computing systems
Year:
2003

Citing 7
Cited 1

A calculus for access control in distributed systems

ACM Transactions on Programming Languages and Systems (TOPLAS)
Database security

Database security
Conflicts in Policy-Based Distributed Systems Management

IEEE Transactions on Software Engineering
The NIST model for role-based access control: towards a unified standard

RBAC '00 Proceedings of the fifth ACM workshop on Role-based access control
A Logical Framework for Reasoning on Data Access Control Policies

CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
A Logical Language for Expressing Authorizations

SP '97 Proceedings of the 1997 IEEE Symposium on Security and Privacy
Access Control Meets Public Key Infrastructure, Or: Assigning Roles to Strangers

SP '00 Proceedings of the 2000 IEEE Symposium on Security and Privacy

Trust Enhanced Authorization for Mobile Agents

EC-Web 2009 Proceedings of the 10th International Conference on E-Commerce and Web Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

The goal of this paper is to pursue a proposal of the logic-based model for interpreting the basic events and properties of the distributed access control systems. We provide a convenient formal language, an axiomatic inference system, a model of computation, and semantics. We prove some important properties of this logic and show how our logical language can express some access control policies proposed so far.