PρLog for Access Control

Besik DUNDUA; Khimuri RUKHAIA; Mikheili RUKHAIA; Lali TIBUA

doi:10.31578/jtst.v5i2.108

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

How to Cite

DUNDUA, B., RUKHAIA, K., RUKHAIA, M., & TIBUA, L. (2017). PρLog for Access Control. Journal of Technical Science and Technologies, 5(2), 41–44. https://doi.org/10.31578/jtst.v5i2.108