PρLog for Access Control

Yazarlar

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

DOI:

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

Anahtar Kelimeler:

Access control- programming with strategies- PρLog

Özet

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.

Yayınlanmış

06-02-2017

Nasıl Atıf Yapılır

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

Sayı

Bölüm

Articles