PρLog for Access Control

Authors

  • Besik DUNDUA
  • Khimuri RUKHAIA
  • Mikheili RUKHAIA
  • Lali TIBUA

DOI:

https://doi.org/10.31578/.v5i2.108

Keywords:

Access control, programming with strategies, PρLog

Abstract

In this article we show how access control policies can be expressed in PρLog,
which is a system for programming with conditional transformation rules, controlled
by strategies. PρLog combines the power of logic programming with
rewriting, which makes it convenient to reason about the policies.

Published

06-02-2017

Issue

Section

Articles