PρLog for Access Control

Authors

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

DOI:

https://doi.org/10.31578/jtst.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.

Downloads

Published

06-02-2017

Issue

Section

Articles