PρLog for Access Control

  • Besik DUNDUA
  • Khimuri RUKHAIA
  • Mikheili RUKHAIA
  • Lali TIBUA
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
Section
Articles